Refinement calculus : a systematic introduction - Back, Ralph-Johan; Wright, Joakim von (Graduate texts in computer science, 1998)