Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-239.pdf (Any fulltext), 28MB
Green, I.(1994). A general technique for automatically optimizing programs through the use of proof plans (MPI-I-94-239). Saarbrücken: Max-Planck-Institut für Informatik.