- Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E a T C S Monographs on Theoretical Computer Science)
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
- Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
- Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)
- Schriften Zur Modellforschung: Herausgegeben Von Klaus Robering