TY  - BOOK
AU  - Kozen, Dexter C.
TI  - Automata and Computability
SN  - 0 387 94907 0
CY  - New York
KW  - Machine Theory
KW  - Computable Functions
ER  -