Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A. (1998). Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.