Doroshenko, A.Yu., and О.А. Яценко. 2024. “Formal Methods of Parallel Software Design Automation”. Reports of the National Academy of Sciences of Ukraine, no. 6 (March). Kyiv, Ukraine:15-20. https://doi.org/10.15407/dopovidi2020.06.015.