K. S. Cheung, K. O. Chow, T. Y. Cheung. Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. In TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China. pages 118-125, IEEE Computer Society, 1999. [doi]
Abstract is missing.