Methodik des Programmierens - Dijkstra, Edsger W.; Feijen, W. H. (Addison-Wesley, 1985)
Aus d. Niederl. übers. - EST: Een methode van programmeren <dt.>