Biography
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.
Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig
Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig
Books by Hartmut Ehrig
Integration of Software Specification Techniques for Applications in Engineering
Fundamentals of Algebraic Graph Transformation
Handbook of Graph Grammars and
Handbook of Graph Grammars and Computing by Graph Transformations
Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3
Mathematisch-strukturelle Grundlagen der Informatik