https://123dok.net/document/qo5114mk-possibility-parallel-programs-synthesis-algorithm-graph-specification.html