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