Baumeister, Hubert Programming Logics, MPI for Informatics, Max Planck Society;
Baumeister, H. (1990). Über die Stabilität parameterisierter algebraischer Spezifikationen. Master Thesis, Universität Dortmund, Dortmund.