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