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