TY  - BOOK
AU  - Arbib, Michael A. -et.al.
TI  - Basis for theoretical computer science
SN  - 0-387-90573-1
U1  - 510.78 
PY  - 1981///
CY  - NY
PB  - Springer-Verlag
KW  - Formal Languages
KW  - Machine theory
ER  -