Mathematical theory of computation - Manna, Zohar (New York : McGraw-Hill, 1974)
Includes bibliographies.
1.
Keywords: Electronic digital computers -- Programming; Debugging in computer science