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