Elements of the theory of computation - Lewis, Harry R. (Upper Saddle River, N.J. : Prentice-Hall, 2011)
Keywords: Machine theory; Formal languages; Computational complexity; Logic, Symbolic and mathematical