戴维斯 & 违约克. (2009). 计算理论基础: Computability, complexity, and languages. 人民邮电出版社.
Παραπομπή σε μορφή Chicago (17η εκδ.)戴维斯 και 违约克. 计算理论基础: Computability, Complexity, and Languages. 人民邮电出版社, 2009.
Παραπομπή σε μορφή MLA (8th εκδ.)戴维斯 και 违约克. 计算理论基础: Computability, Complexity, and Languages. 人民邮电出版社, 2009.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.