Methodik des Programmierens - Dijkstra, Edsger W.; Feijen, W. H. (Addison-Wesley, 1985)
Aus d. Niederländ. übers.