https://5dok.net/document/oz1jvxez-generalised-compositionality-in-graph-transformation.html