On the Refinement Calculus (1993)

by C C Morgan, T Vickers