MATHEMATICAL THEORY OF COMPUTATION - Manna,Zohar (Mcgraw-Hill Kogakusha, Tokyo, 1974)
Keywords: Electronic Digital Computers -- Programming; Debugging In Computer Science