author : Mitchell Wand

Books

• Induction, Recursion, and Programming. 1980