Mathematical theory of computation Zohar Manna. - Manna, Zohar (N.Y. McGraw-Hill, 1974)
Keywords: Debugging in computer science; Electronic digital computers -- Programming