A. I. Legalov and N. K. Chuykin, “The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming”, superfri, vol. 10, no. 2, pp. 32–45, Aug. 2023.