Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-238.pdf (Any fulltext), 29MB
Madden, P. (Ed.).(1994). Formal methods of automated program improvement (MPI-I-94-238). Saarbrücken: Max-Planck-Institut für Informatik.