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