Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-240.pdf (beliebiger Volltext), 41MB
Madden, P.(1994). Recursive program optimization through inductive synthesis proof transformation (MPI-I-94-240). Saarbrücken: Max-Planck-Institut für Informatik.