Fitting, Melvin
Computability theory, semantics, and logic programming
Oxford University Press, 1987
Buku Teks SO
How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings
edited by S. Barry Cooper, Anuj Dawar, Benedikt Lowe
Springer-Verlag, 2012
eBooks
Rich, Elaine
Automata, Computability, and Complexity: Theory and Applications
Pearson Prentice hall, 2009
Buku Teks SO
McNaughton, Robert
Elementary computability, formal languages, and automata
Prentice-Hall, 1982
Buku Teks SO
Martin, John C.
Introduction to languages and the theory of computation
McGraw-HIll, 1991
Buku Teks SO