Title: A Discipline of Programming  by Edsger W. Dijkstra