A Formal Semantics for Object Model Diagrams, in (1995)

by H Bourdeau, B Cheng
Venue:IEEE Transactions on Software Engineering