Mathematical theory of computation - Manna, Zohar (New York : McGraw-Hill, 1974)
Includes index
Keywords: Computer programming; Debugging in computer science; Electronic digital computer -- Programming