Graphische Spezifikationen : ein graphik-adäquater, ojektzentrierter Kalkül zur Entwicklung korrekter Programme - Zimbel, Roland (Roland Kurt), 1955- (FZI Dissertation., 1991)