Дорошенко , А. Ю. Формальні та інтелектуальні методи автоматизації проєктування програмних систем: Стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 року. Vìsn. Nac. akad. nauk Ukr. 2025, 63-79.