TY  - BOOK
AU  - KOZEN
TI  - AUTOMATA AND COMPUTABILITY
SN  - 3-540-78105-6
U1  - 006.31 KOZ 
PY  - 1997///
PB  - SPRINGER
N1  - 400
ER  -