TY  - BOOK
AU  - Arbib, Michael A ; Kfoury, A J & Moll, Robert N
TI  - A Basis for theoretical computer science
SN  - 0-387-90573-1
U1  - 001.64 Arb 
PY  - 1981///
CY  - Springer-Verlag, New York
KW  - Computer Science
ER  -