Associated Paper: The Object-Z Specification Language

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith. Associated Paper: The Object-Z Specification Language. In Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer, editors, TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. pages 465-484, Prentice Hall, 1991.

@inproceedings{DukeKRS91,
  title = {Associated Paper: The Object-Z Specification Language},
  author = {Roger Duke and Paul King and Gordon A. Rose and Graeme Smith},
  year = {1991},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DukeKRS91},
  cites = {0},
  citedby = {0},
  pages = {465-484},
  booktitle = {TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA},
  editor = {Timothy D. Korson and Vijay Vashnavi and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-923178-1},
}