Soon-Kyeong Kim, David A. Carrington. A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. In 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. pages 87-95, IEEE Computer Society, 2004. [doi]