Ein Modell zur Strukturierung von Rechensystemen und sein Einsatz bei deren Entwicklung - Baumgarten, Uwe (Informatik-Berichte, 1986)