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