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