A. H. Ghamarian and A. Rensink, “Graph Passing in Graph Transformation”, eceasst, vol. 47, Jul. 2012.