А. . Дорошенко і O. . Yatsenko, « Формальні методи автоматизації проектування паралельних програм », Dopov. Nac. akad. nauk Ukr., вип. 6, с. 15–20, Бер 2024.