Dijkstra (1976)

Dijkstra E.W. (1976)

A Discipline of Programming

Prentice Hall