Hartmut Ehrig Robert Geisler Martin Große-Rhode Marcus Klar Stefan Mann On Formal Semantics and Integration of Object-Oriented Modeling Languages. 226-232 2001 Current Trends in Theoretical Computer Science db/books/collections/PhaunRS2001.html#EhrigGGKM01