Dominique Duval Rachid Echahed Frédéric Prost Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation http://arxiv.org/abs/1101.3417 2011 CoRR abs/1101.3417 db/journals/corr/corr1101.html#abs-1101-3417