TY  - BOOK
AU  - Manna,Zohar
TI  - Mathematical theory of computation
T2  - McGraw-Hill computer science series
AV  - QA76.6 .M356
U1  - 001.6/425 
PY  - 1974///]
CY  - New York
PB  - McGraw-Hill
KW  - Electronic digital computers
KW  - Programming
KW  - Local
KW  - Debugging in computer science
N1  - Includes bibliographies
ER  -