TY  - BOOK
AU  - Arbib,Michael A
AU  - Kfoury,A.J.
AU  - Moll,Robert N.
TI  - A basis for theoretical computer science
SN  - 0387905731
AV  - QA267 .A715 1984.
PY  - 1984///
CY  - New York
PB  - Springer-Verlag
KW  - Computer science
N1  - Includes indexes
ER  -