Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version - Hermann, Frank (Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik, 2009)