Induction, recursion, and programming - Wand, Mitchell (North Holland, 1980)