TY  - BOOK
AU  - KOZEN
TI  - AUTOMATA AND COMPUTABILITY
SN  - 9781461273097
U1  - 006.31 KOZ 
PB  - SPRINGER
KW  - MACHINE THEORY
ER  -