Летичевський, Олександр Адольфович. 2017. «Високонадійні системи математичного забезпечення: Стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року». Вісник Національної академії наук України, вип. 2 (Лютий):31-37. https://nasu-periodicals.org.ua/index.php/visnyk/article/view/6554.