Refinement calculus : a systematic introduction - Back, Ralph-Johan (Graduate texts in computer science (Springer-Verlag New York Inc.), 1998)