A Discipline of Programming (Prentice-Hall (1976)

by E W Dijkstra