Heinrich Hußmann Jacques Loeckx Wolfgang Reif KORSO: Das Verbundprojekt "Korrekte Software". 266-271 1993 GI Jahrestagung db/conf/gi/gi93.html#hussmannLR93