Dijkstra (1976)
Dijkstra E.W. (1976)
A Discipline of Programming
Prentice Hall