TY  - BOOK
AU  - Wand, Mitchell
TI  - Induction, recursion and programming 
U1  - 001.642 
PY  - 1980///
CY  - New York
PB  - North-Holland
KW  - Electronic Digital Computers -- Programming
KW  - Induction (Mathematics)
KW  - Recursion Theory
ER  -