TY  - GEN
AU  - Kozen, Dexter C.
TI  - Automata and Computability [Perpetual]
T2  - / edited by David Gries and Fred B. Schneider
SN  - 9781461218449 
U1  - 511.3 
PY  - 1997///
PB  - Springer
KW  - Machine theory
KW  - Computable functions
UR  - https://link.springer.com/book/10.1007/978-1-4612-1844-9
ER  -