Maximova, M.; Ehrig, H.; Ermel, C. Analysis of Hypergraph Transformation Systems in AGG Based on M-Functors. eceasst 2013, 58.