TY  - BOOK
AU  - Manna,Zohar
TI  - MATHEMATICAL THEORY OF COMPUTATION
SN  - 0070399107
U1  - 001.6425 
PY  - 1974///
CY  - 
PB  - Mcgraw-Hill Kogakusha, Tokyo
KW  - Electronic Digital Computers -- Programming
KW  - Debugging In Computer Science
ER  -