Dijkstra, E. "A Discipline of Programming" P-H 1976.

Languages mentioned

• Dijkstra's guarded command language {1966}