https://5dok.org/document/zwvrg1og-order-preserving-graph-grammars.html