Hoffmann, B. More on Graph Rewriting With Contextual Refinement. eceasst 2015, 71.