https://9dok.net/document/q2n90ror-behavioral-congruences-verification-graph-transformation-systems-applications-refactoring.html