Дорошенко А, Yatsenko O. Формальні методи автоматизації проектування паралельних програм . Dopov. Nac. akad. nauk Ukr. [інтернет]. 28, Березень 2024 [цит. за 06, Грудень 2025];(6):15-20. доступний у: https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3