B. Hoffmann, “Graph Rewriting with Contextual Refinement”, eceasst, vol. 61, Jun. 2013.