TY  - BOOK
AU  - KOZEN D.C.
TI  - AUTOMATA AND COMPUTABILITY
SN  - 0000387949070
U1  - 005.131 
PB  - NEW YORK : SPRINGER
KW  - AUTOMATA : COMPUTATION
ER  -