Induction, recursion, and programming - Wand, Mitchell (New York : North Holland, 1980)
Includes index.
Bibliography : p.190-194.
Keywords: Electronic digital computers -- Programming; Induction (Mathematics).; Recursion theory