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