Полный англо-русский словарь
Комплементарные схемы функциональной логики (повышающие отказоустойчивость)