Relational heuristics for the design of deterministic programs

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

Computing, Computer Science, Algorithms +14

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

On the calculus of relations

Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations

Humanities, Mathematics, Philosophy +13

On Formalism in Specifications

Bertrand Meyer · IEEE Software · 1985 · 288 citations

Computing, Computer Science, Mathematics +17