Haim Kilov Bernhard Rumpe Precise Semantics for Object-Oriented Modeling Techniques - Summary of the ECOOP'97 Workshop. 145-150 1997 conf/ecoopw/1997 ECOOP Workshops http://link.springer.de/link/service/series/0558/bibs/1357/13570145.htm db/conf/ecoopw/ecoopw97.html#KilovR97