F. Orejas and L. Lambers, “Symbolic Attributed Graphs for Attributed Graph Transformation”, eceasst, vol. 30, Nov. 2010.