TY  - BOOK
AU  - KOZEN DEXTER
TI  - AUTOMATA AND COMPUTABILITY
U1  - 511.3 KOZ 
PY  - 1997///
PB  - Springer Verleg
KW  - COMPUTER
ER  -