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