Achim D. Brucker, Frank Rittinger, Burkhart Wolff. HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS, 9(2):152-172, 2003. [doi]
@article{BruckerRW03, title = {HOL-Z 2.0: A Proof Environment for Z-Specifications}, author = {Achim D. Brucker and Frank Rittinger and Burkhart Wolff}, year = {2003}, url = {http://www.jucs.org/jucs_9_2/hol_z_2}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/BruckerRW03}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {9}, number = {2}, pages = {152-172}, }