TY  - BOOK
AU  - Arbib M A
AU  - Kfoury A J
AU  - Moll R N
TI  - Basis for theoretical computer science
U1  - 004 
PY  - 1981///
CY  - N Y
PB  - Springer Verlag
KW  - Computer science
ER  -