Lauer, Thorsten Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Lauer, T. (1998). Design und Implementierung eines Testmanagers für LiDIA. Master Thesis, Universität des Saarlandes, Saarbrücken.