TY  - BOOK
AU  - Arbib Micahel A
AU  -  Kfoury A J
TI  - Basis for theoretical computer science
U1  - D65,8(B), M1 
PY  - 1981///
CY  - New York    
PB  -  Springer Verlag       
KW  - Computer science
ER  -