Doroshenko, A. ., and О. . Яценко. “Formal Methods of Parallel Software Design Automation”. Reports of the National Academy of Sciences of Ukraine, no. 6, Mar. 2024, pp. 15-20, doi:10.15407/dopovidi2020.06.015.