Manna, Zohar Mathematical Theory of Computation / by Zohar Manna. - New York : Dover Publications, 2003. - x,448p. : ill. ; u; 23 cm. Include Index ISBN: 9780486432380 Subjects--Topical Terms: Debugging in computer science Dewey Class. No.: 005.1 / MAN/M