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