Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
Madden, P., Bundy, A., & Smaill, A. (1999). Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning, 22(1), 65-115.