A Discipline of Programming - Edsger W. Dijkstra (Prentice-Hall, 1976)