Systematisches programmiern : eine einfuehrung - Wirth, Niklaus (Leitfaden der Angewandten Mathematik und Mechanik / B.G.Teubner, 1975)