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