Refinement Calculus door J. Von Wright & Ralph-Johan Back