Refinement in Z and Object-Z - Derrick, John; Derrick; Boiten, Eerke A. (Springer London, 2014)