Using VDM to specify managed object relationships

Lynn S. Marshall, Linda Simon. Using VDM to specify managed object relationships. In Michel Diaz, Roland Groz, editors, Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 92, Perros-Guirec, France, 13-16 October 1992. Volume C-10 of IFIP Transactions, pages 263-278, North-Holland, 1992.

@inproceedings{MarshallS92,
  title = {Using VDM to specify managed object relationships},
  author = {Lynn S. Marshall and Linda Simon},
  year = {1992},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/MarshallS92},
  cites = {0},
  citedby = {0},
  pages = {263-278},
  booktitle = {Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE  92, Perros-Guirec, France, 13-16 October 1992},
  editor = {Michel Diaz and Roland Groz},
  volume = {C-10},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-89282-6},
}