TY  - BOOK
AU  - Kozen, Dexter, C 
TI  - Automata and computabality 
SN  - 0-387-94907-0 
U1  - 005.131 KOZ  
PY  - 2001///
CY  - Springer 
PB  - New York 
KW  - PROGRAMMING LANGUAGE
ER  -