Logik der Strukturierung von Programmen. Programmentwicklung nach Warnier - Loczewski, Paul Georg (Reihe Datenverarbeitung, 1980)