TY  - BOOK
AU  - Kozen, C. Dexter
TI  - Automata and Computability
SN  - 9780387949079
U1  - 511.35 
CY  - New York
ER  -