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