Martin Korff Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. 234-264 1993 conf/dagstuhl/1993gtcs Dagstuhl Seminar on Graph Transformations in Computer Science db/conf/dagstuhl/gtcs1993.html#Korff93