Refinement in Z and object‐Z: Foundations and Advanced Applications. - Boiten, Eerke (Journal of Logic & Computation, 2003)