Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems - Hermann, Frank (Technische Universität Berlin, 2009)