Robert H. Bourdeau Betty H. C. Cheng A Formal Semantics for Object Model Diagrams. 799-821 http://www.computer.org/tse/ts1995/e0799abs.htm 1995 21 IEEE Trans. Software Eng. 10 db/journals/tse/tse21.html#BourdeauC95