A Discipline of Programming (1976)

by Edsger W Dijkstra