Herbert Weber Marcus Klar Stefan Mann Ralf-Detlef Kutsche Stefan Jähnichen Robert Büssow Hartmut Ehrig Robert Geisler Gabriel Baum Claudia Pons Miguel Felder Sergio Waldoke Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. 23-30 1999 German-Argentinian Workshop on Information Technology db/conf/gait/gait1999.html#WeberKMKJBEGBPFW99