Reinold, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Reinold, M. (1991). Transformation in dichten Wäldern. Master Thesis, Universität des Saarlandes, Saarbrücken.