Schäf, Martin Programming Logics, MPI for Informatics, Max Planck Society;
Schäf, M. (2006). Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften. Master Thesis, Universität des Saarlandes, Saarbrücken.