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

by E W DIJKSTRA
Venue:BIT