InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. - Marcus Klar; Robert Geisler; Felix Cornelius (COMPASS/ADT, 1995)

How to Cope with the Spectrum of SPECTRUM. - Uwe Wolter; Klaus Didrich; Felix Cornelius; Marcus Klar (KORSO Book, 1995)

InterACT: An Interactive Theorem Prover for Algebraic Specifications. - Robert Geisler; Marcus Klar; Felix Cornelius (AMAST, 1996)

Horizontal and Vertical Structuring Techniques for Statecharts. - Hartmut Ehrig; Robert Geisler; Marcus Klar; Julia Padberg (CONCUR, 1997)

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. - Robert Büssow; Robert Geisler; Marcus Klar (FASE, 1998)

DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. - Hartmut Ehrig; Robert Geisler; Marcus Klar (Inform. Forsch. Entwickl., 1998)

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)

A semantical framework for the integration of object oriented modeling languages. - Marcus Klar (1999)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Bull. EATCS, 2000)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Current Trends in Theoretical Computer Science, 2001)