A Discipline of Programming (1976)

by E W Dijkstra