A simple axiomatic basis for programming
β
Edsger W Dijkstra
π
Article
π
1974
π
Elsevier Science
β 893 KB