Induction, recursion, and programming - Wand, Mitchell (North Holland, 1980)
Keywords: Rekursion; Grundlage; Datenverarbeitung; Induktion; Mathematik; Programmierung