author : B. Mahr

Books

• Fundamentals of Algebraic Specification 1: equations and initial semantics. 1985, with H. Ehrig
• Fundamentals of Algebraic Specification 2: module specifications and constraints. 1990, with H. Ehrig