Roger Duke. Formal Methods for the Design and Specification of Object-Oriented Systems. In Christine Mingins, William Haebich, John Potter, Bertrand Meyer, editors, Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992. pages 324, Prentice Hall, 1993.
@inproceedings{Duke93,
title = {Formal Methods for the Design and Specification of Object-Oriented Systems},
author = {Roger Duke},
year = {1993},
tags = {meta-model, Meta-Environment, design, meta-objects},
researchr = {https://researchr.org/publication/Duke93},
cites = {0},
citedby = {0},
pages = {324},
booktitle = {Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992},
editor = {Christine Mingins and William Haebich and John Potter and Bertrand Meyer},
publisher = {Prentice Hall},
isbn = {0-13-124512-0},
}