Phillips, C. (1991). Well-founded induction and program synthesis using proof plans.
Chicago-Zitierstil (17. Ausg.)Phillips, Colin. Well-founded Induction and Program Synthesis Using Proof Plans. Edinburgh, 1991.
MLA-Zitierstil (9. Ausg.)Phillips, Colin. Well-founded Induction and Program Synthesis Using Proof Plans. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.