Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. - Immo Schulz-Gerlach; Christoph Beierle (DeLFI, 2006)

Constructing and Visualizing Transformation Chains. - Jens von Pilgrim; Bert Vanhooff; Immo Schulz-Gerlach; Yolande Berbers (ECMDA-FA, 2008)