Fischmann, Matthias Programming Logics, MPI for Informatics, Max Planck Society;
Fischmann, M. (1999). On Applications of Decidable Object-Oriented Type Theory. Master Thesis, Universität des Saarlandes, Saarbrücken.