TY  - GEN
AU  - Manna, Z.
TI  - Mathematical theory of computation
PY  - 1974///
CY  - New York
PB  - McGraw-Hill
ER  -