A method of programming - Dijkstra, Edsger Wybe (Addison-Wesley, 1988)