Logik der Strukturierung von Programmen Programmentwicklung nach Warnier - Loczewski, Paul G. (Oldenbourg, 1980)