A Discipline of Programming. (1976)

by E W Dijkstra