Hoffmann, B. Graph Rewriting With Contextual Refinement. eceasst 2013, 61.