CENSYS, eine strukturorientierte Entwicklungsumgebung für C-Programme - Engel, Christian; Sonnenschein, Michael (Schriften zur Informatik und angewandten Mathematik, 1988)