Sassone, V. and Sobocinski, P. (2004) “Congruences for Contextual Graph-Rewriting”, BRICS Report Series, 11(11). doi: 10.7146/brics.v11i11.21836.