Edsger W. Dijkstra Programming: From Craft to Scientific Discipline. 23-30 1977 conf/icsym/1977 International Computing Symposium db/conf/icsym/icsym1977.html#Dijkstra77