TY  - BOOK
AU  - Kozen, Dexter C.  
TI  - Automata and Computability
SN  - 3540781056
CY  - London
ER  -