Jos Warmer John Hogg Steve Cook Bran Selic Experience with Formal Specification of CMM and UML. 216-220 1997 conf/ecoopw/1997 ECOOP Workshops db/conf/ecoopw/ecoopw97.html#WarmerHCS97 http://link.springer.de/link/service/series/0558/bibs/1357/13570216.htm