Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.

• 《可计算性、复杂性和语言》,清华大学出版社，北京，1989。