Дорошенко АЮ. Формальні та інтелектуальні методи автоматизації проєктування програмних систем: Стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 року. Vìsn. Nac. akad. nauk Ukr. [інтернет]. 16, Квітень 2025 [цит. за 05, Червень 2025];(4):63-79. доступний у: https://nasu-periodicals.org.ua/index.php/visnyk/article/view/17947