Reasoning algebraically about loops

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Natural Sciences, Computer Science, Mathematics +9

Reduction

Richard J. Lipton · Communications of the ACM · 1975 · 459 citations · Full text

Computing, Computer Engineering, Computer Science +16

A theoretical basis for stepwise refinement and the programming calculus

Joseph M. Morris · Science of Computer Programming · 1987 · 309 citations

Computing, Computer Science, Formal Methods +13

The specification statement

Carroll Morgan · ACM Transactions on Programming Languages and Systems · 1988 · 266 citations · Full text

Computing, Computer Science, Programming Languages +10

A calculus of refinements for program derivations

R. J. R. Back · Acta Informatica · 1988 · 247 citations

Computing, Computer Science, Formal Methods +11