ДОРОШЕНКО, А. .; YATSENKO, O. . Формальні методи автоматизації проектування паралельних програм . Reports of the National Academy of Sciences of Ukraine, Kyiv, Ukraine, n. 6, p. 15–20, 2024. DOI: 10.15407/dopovidi2020.06.015. Disponível em: https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3. Acesso em: 6 груд. 2025.