Koldehofer, Boris Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Koldehofer, B. (1999). Animation and Analysis of Distributed Algorithms. Master Thesis, Universität des Saarlandes, Saarbrücken.