TY  - GEN
AU  - Kozen, Dexter C
AU  - Kozen, Dexter C
TI  - Automata and computability
SN  - 3 540 78105 6
U1  - 519.713 KOZ 
PY  - 2002///
CY  - Heidelberg
PB  - Springer - Verlag
KW  - Machine theory
KW  - Computable functions
ER  -