Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. - 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 (German-Argentinian Workshop on Information Technology, 1999)