TY  - BOOK
AU  - Arbib,Michael A.
AU  - Kfoury,A.J.
AU  - Moll,Robert N.
TI  - A basis for theoretical computer science
SN  - 0387905731
PY  - 1981///
CY  - New York
PB  - Springer-Verlag
KW  - Machine theory
KW  - Formal languages
ER  -