戴维斯 & 违约克. (2009). 计算理论基础: Computability, complexity, and languages. 人民邮电出版社.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)戴维斯 و 违约克. 计算理论基础: Computability, Complexity, and Languages. 人民邮电出版社, 2009.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)戴维斯 و 违约克. 计算理论基础: Computability, Complexity, and Languages. 人民邮电出版社, 2009.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.