Madden, P., & Bundy, A. (1993). General techniques for automatic program optimization and synthesis through theorem proving.
Chicago-Zitierstil (17. Ausg.)Madden, Peter, und Alan Bundy. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. Edinburgh, 1993.
MLA-Zitierstil (9. Ausg.)Madden, Peter, und Alan Bundy. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.