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