D. Duval, R. Echahed, and F. Prost, “Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation”, eceasst, vol. 41, Oct. 2011.