A formal semantics for object model diagrams (1995)

by Robert H Bourdeau, Betty H C Cheng
Venue:IEEE Trans. Softw. Eng