Refinement in Z and Object-Z Foundations and Advanced Applications - Derrick, John; Boiten, Eerke A. (Springer London : Imprint: Springer, 2014)