Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDRC (Publisher version)
Madden, P., & Green, I. (1995). A General Technique for Automatically Optimizing Programs through the Use of Proof Plans. In J. Calmet, & J. A. Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial Intelligence (pp. 64-79). Berlin, Germany: Springer.