On the refinement calculus / - Morgan, Carroll; Vickers, Trevor (Springer-Verlag, 1992)