Lalement, Rene
Computation as logic
Prentice-Hall, 1993
 Buku Teks SO
Ramnath, Rudrapatna V.
Computation and asymptotics
[Springer, ], 2012
 eBooks
Brainerd, Walter S.
Theory of computation
John Wiley & Sons, 1974
 Buku Teks SO
Martin, John C.
Introduction to languages and the theory of computation
McGraw-HIll, 1991
 Buku Teks SO
Vision, brain, and cooperative computation
edited by Michael A. Arbib and Allen R. Hanson
MIT Press, 1987
 Buku Teks SO