John Derrick, Eerke A. Boiten. Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Springer, 2014. [doi]
@book{0032291, title = {Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.)}, author = {John Derrick and Eerke A. Boiten}, year = {2014}, doi = {10.1007/978-1-4471-5355-9}, url = {http://dx.doi.org/10.1007/978-1-4471-5355-9}, researchr = {https://researchr.org/publication/0032291}, cites = {0}, citedby = {0}, publisher = {Springer}, isbn = {978-1-4471-5354-2}, }