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