Zeyer, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Zeyer, J. (1997). Eine Beobachtungs-Logik für modulare Sprachen. PhD Thesis, Universität des Saarlandes, Saarbrücken.