Induction, recursion and programming - Wand, Mitchell (New York North-Holland, 1980)
Keywords: Electronic Digital Computers -- Programming; Induction (Mathematics); Recursion Theory