TY  - BOOK
AU  - Kozen/Dexter C 
TI  - Automata and computability
PY  - 1997///
PB  - Springer
KW  - Automata
KW  - automata
ER  -