Дорошенко, А. і Yatsenko, O. 2024. Формальні методи автоматизації проектування паралельних програм . Reports of the National Academy of Sciences of Ukraine. 6 (Бер 2024), 15–20. DOI:https://doi.org/10.15407/dopovidi2020.06.015.