Schaef, Martin Programming Logics, MPI for Informatics, Max Planck Society;
Schaef, M. (2005). Rekonstruktion von bewegtem Stoff mittels direkter Suchverfahren. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.