A constructive approach to the problem of program correctness (1968)

by E Dijkstra
Venue:B/T