TY  - GEN
AU  - Kozen,Dexter C.
AU  - Gries, David
AU  - Schneider, Fred B.
TI  - Automata and computability
SN  - 9781461273097
U1  - 005.131 KOZ 
PY  - 1997///.
CY  - New York : 
PB  - Springer, 
KW  - Machine theory
KW  - Computable functions
KW  - Publisher description
N1  - Includes references and index
ER  -