Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A. (1995). Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.