TY  - BOOK
AU  - Smith C H
TI  - Recursive introduction to the theory of computation
U1  - 005.131 
PY  - 1994///
CY  - N Y
PB  - Springer Verlag
KW  - Computer science
KW  - Recursion theory
ER  -