A Refinement Calculus for Nondeterministic Expressions (1994)

by Nigel Thomas Edgar Ward