M. Maximova, H. Ehrig, and C. Ermel, “Analysis of Hypergraph Transformation Systems in AGG based on M-Functors”, eceasst, vol. 58, Jul. 2013.