TY  - BOOK
AU  - Arbib, Michael A
TI  - Basis for theoretical computer science
N1  - D6,8(B) M19
ER  -