Doroshenko, A.Yu., and О.А. Яценко. “Formal Methods of Parallel Software Design Automation”. Reports of the National Academy of Sciences of Ukraine, no. 6 (June 28, 2020): 15–20. Accessed June 19, 2026. https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3.