TY  - BOOK
AU  - KOZEN
TI  - AUTOMATA AND COMPUTABILITY
U1  - 006.31 KOZ 
PB  - SPRINGER
ER  -