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