TY  - BOOK
AU  - Dexter C. Kozen
TI  - Automata And Computability
SN  - 3-540-78105-6
U1  - 511.3 
PY  - 2010///
CY  - NULL
PB  - Springer-Verlag
ER  -