Refinement calculus : a systematic introduction - Back, Ralph-Johan (Springer, 1998)