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. In German-Argentinian Workshop on Information Technology. pages 23-30, 1999.
Abstract is missing.