https://123dok.org/document/9ynr74kq-the-pullback-pushout-approach-to-algebraic-graph-transformation.html