Madden, P. (1992). Recursive program optimization through inductive synthesis proof transformation.
Chicago-Zitierstil (17. Ausg.)Madden, Peter. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Edinburgh, 1992.
MLA-Zitierstil (9. Ausg.)Madden, Peter. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.