B. Hoffmann, “More on Graph Rewriting With Contextual Refinement”, ECEASST, vol. 71, Sep. 2015.