Maritta Heisel Debora Weber-Wulff Korrekte Software: Nur eine Illusion? 192-200 1994 9 Inform., Forsch. Entwickl. 4 db/journals/ife/ife9.html#HeiselW94