The Role of Mathematics and Formal Specification Techniques in Software System Development. - Hartmut Ehrig; Gunnar Schröter (Bull. EATCS, 2000)

Semantical Integration of Object-Oriented Viewpoint Specification Techniques. - Benjamin Braatz; Markus Klein 001; Gunnar Schröter (SoftSpez Final Report, 2004)

A Formal Component Concept for the Specification of Industrial Control Systems. - Benjamin Braatz; Markus Klein 001; Gunnar Schröter; Matthias Bengel (SoftSpez Final Report, 2004)

Characterization and comparison of formal refinement and development relations for software modeling techniques. - Gunnar Schröter (2004)