A method of programming - "Edsger W. Dijkstra"," W. H. J. Feijen; translated by Joke Sterringa"," W. H. J. Feijen; translated by Joke Sterringa" (Wokingham, England ; Addison-Wesley, c1988. Great Britain, 1988)