Elements of the theory of computation - Lewis, Harry R.; Papadimitriou, Christos H. (New Jersey : Prentice-Hall, 1981)
Includes bibliographical references & index
Keywords: Machine theory; Formal languages; Computational complexity; Logic, Symbolic and mathematical