Hartmut Ehrig Tutorial introduction to the algebraic approach of graph grammars. 3-14 1986 conf/gg/1986 Graph-Grammars and Their Application to Computer Science db/conf/gg/gg1986.html#Ehrig86