TY  - BOOK
AU  - Arbib, Michael A
TI  - Theories of abstract automata
N1  - B2883 K9
ER  -