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