(1)
Hoffmann, B. Graph Rewriting With Contextual Refinement. ECEASST 2013, 61.