TY  - BOOK
AU  - ARBIB,MICHAEL A, KFOURY,A.J, MOLL,ROBERT N
TI  - BASIS FOR THEORETICAL COMPUTER SCIENCE
SN  - NCST
U1  - 693 
PY  - 1981///
CY  - NEW YORK
PB  - SV
ER  -