Formal techniques and sizeable programs (EWD563 (1976)

by E W Dijkstra
Venue:Selected Writings on Computing: A Personal Perspective