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