https://123dok.org/document/wq2wgn6q-analysis-permutation-equivalence-adhesive-transformation-negative-application-conditions.html