Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-252.pdf (beliebiger Volltext), 39MB
Madden, P.(1994). A survey of program transformation with special reference to unfold/fold style program development (MPI-I-94-252). Saarbrücken: Max-Planck-Institut für Informatik.