Systematisches Programmieren. Eine Einführung - Wirth, Niklaus (Leitfäden der angewandten Mathematik und Mechanik, 1972)