Soon-Kyeong Kim, David A. Carrington. Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. In 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea. pages 257-264, IEEE Computer Society, 2004. [doi]
Abstract is missing.