On the refinement calculus - Morgan, Carroll; Vickers, Trevor (Formal approaches to computing and information technology, 1992)