- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
- 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)