Mathematical theory of computation / Zohar Manna. - Manna, Zohar (New York : McGraw-Hill, 1974)
Περιέχει βιβλιογραφία και ευρετήριο.
Keywords: Electronic digital computers -- Programming; Debugging in computer science