Combining angels, demons and miracles in program specifications

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

Computing, Computer Science, Mathematics +14

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

Power domains

Michael Smyth · Journal of Computer and System Sciences · 1978 · 260 citations

A calculus of refinements for program derivations

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

Computing, Computer Science, Formal Methods +11