A Discipline of Programming Prentice-Hall (1976)

by Edgster W Dijkstra