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