Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1994). Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.