Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, H. J. (1993). Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.