Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Madden, P. (1994). Formal Methods for Automated Program Improvement. In B. Nebel, & L. Dreschler-Fischer (Eds.), KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence (pp. 367-378). Berlin, Germany: Springer.