T. Mens, K. Mens, and P. Steyaert. Proc. Int'l Conf. Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)
R. Straeten, T. Mens, J. Simmonds, and V. Jonckers. UML 2003 – The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, page 326--340. Springer, (2003)
S. Demeyer, T. Mens, and M. Wermelinger. IWPSE '01: Proceedings of the 4th International Workshop on Principles of Software Evolution, page 174--177. New York, NY, USA, ACM Press, (2001)