Induction, recursion, and programming - Wand, Mitchell (New York North Holland, 1980)
Keywords: Computer programming; Induction (Mathematics); Recursion theory