A Constructive Approach to the Problem of Program Correctness (1968)

by E W Dijkstra
Venue:BIT