TY  - BOOK
AU  - Arbib,Michael.A.
TI  - A basis for theoretical computer science
SN  - 0387905731
U1  - 004 ARB 
CY  - New York
PB  - Springer-Verlag
ER  -