V. Sassone and P. Sobocinski, “Congruences for Contextual Graph-Rewriting”, BRICS, vol. 11, no. 11, Jun. 2004.