Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Graph and Model Transformation: General Framework and Applications

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Fundamentals of Algebraic Graph Transformation