Hermann, Frank. “Permutation Equivalence of DPO Derivations With Negative Application Conditions Based on Subobject Transformation Systems”. Electronic Communications of the EASST, vol. 16, July 2009, doi:10.14279/tuj.eceasst.16.249.