Kahl, W. Graph Transformation With Symbolic Attributes via Monadic Coalgebra Homomorphisms. eceasst 2015, 71.