Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDRC (出版社版)
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.