Modelling angelic and demonic nondeterminism with multirelations

Winning Ways for Your Mathematical Plays.

R. J. Connelly, Elwyn R. Berlekamp, John H. Conway et al. · American Mathematical Monthly · 1986 · 1.5K citations

Natural Sciences, Mathematics, Combinatorics +5

<i>Algebra of Programming</i> by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997).

Erik Poll, Simon Thompson · Journal of Functional Programming · 1999 · 247 citations

Computing, Computer Science, Algebra +3

Programming from specifications

Eric C. R. Hehner · Science of Computer Programming · 1991 · 244 citations

Predicate calculus and program semantics

Brian Monahan · Science of Computer Programming · 1991 · 38 citations

Computing, Computer Science, Logic +13

Inductive data types for predicate transformers

Oege de Moor · Information Processing Letters · 1992 · 15 citations

Computing, Computer Science, Formal Methods +8