Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Madden, P. (1995). Program improvement by proof planning. In Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11).