A short introduction to the art of programming - Dijkstra, Edsger W. (Techn. Hogeschool, 1971)