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