Experiences with a Specification Environment. - Jacques Loeckx; Jörg Zeyer (KORSO Book, 1995)

Eine Beobachtungs-Logik für modulare Sprachen. - Jörg Zeyer (1997)