Hermann, F. (2009) “Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems”, Electronic Communications of the EASST, 16. doi: 10.14279/tuj.eceasst.16.249.