An Axiomatic Formalization of UML Models.

Toshiaki Aoki Takaaki Tateishi Takuya Katayama An Axiomatic Formalization of UML Models. 13-28 2001 conf/uml/2001p pUML db/conf/uml/puml2001.html#AokiTK01