A simple axiomatic basis for programming language constructs - Dijkstra, Edsger W. ([Inst. f. Datenverab., Techn. Hochsch. München], 1973)