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