https://5dok.net/document/z1drr3jp-graph-based-semantics-of-the-net-intermediate-language.html