Дорошенко, А.Ю., і O.A. Yatsenko. «Формальні методи автоматизації проектування паралельних програм». Reports of the National Academy of Sciences of Ukraine, no. 6 (Березень 28, 2024): 15–20. дата звернення Грудень 6, 2025. https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3.