Manna, Zohar. <br/><br/>
Mathematical theory of computation / 
by Zohar Manna. 
 - New York :  McGraw-Hill,  1974. 
 - x, 448 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0070399107 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming.<br/>Debugging in computer science.