О. А. Летичевський, «Високонадійні системи математичного забезпечення: Стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року», Visn. Nac. Akad. Nauk Ukr., вип. 2, с. 31–37, Лют 2017.