TY  - BOOK
AU  - Kozen,Dexter C.
AU  - ,.
AU  - ,.
TI  - Automata and computability / 
T2  - Undergraduate texts in computer science, 
U1  - 511.3 
PY  - 2002///
CY  - NewYork : 
PB  - Springer , 
KW  - MACHINE THEORY
N1  - Includes index
ER  -