Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.

Soon-Kyeong Kim, David A. Carrington

Browse the full APSEC paper archive.