TY  - BOOK
AU  - Hennie, Fred
TI  - Introduction to computability
U1  - 511.8 
PY  - 1977///
CY  - Reading, Massachussetts
PB  - Addison-Wesley
KW  - Algorithms
KW  - Recursive functions
ER  -