Methodik des Programmierens - Dijkstra, Edsger W.; Feijen, W. H. (Internationale Computer-Bibliothek, 1985)