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