Ein Expertensystem zur Auswahl von wiederverwendbaren Programmmodulen. - Roland Zimbel; Paul Weber (Inform. Forsch. Entwickl., 1989)

Graphische Spezifikationen: ein Graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme. - Roland Zimbel (1991)