On the refinement calculus (Springer, 1994)