Spezifikation informatischer Systeme in Logik höherer Stufe (ruhend) https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/spezifikation-informatischer-systeme-logik-hoherer-stufe-ruhend/
Untersuchungen zur Klassifikation der Ausdrucksstärke und zur Berechenbarkeit von Modellen