К слову, американцы очень плохо справились с этим проектом (и потом его, по глупости, еще и отменили): транслятор (программа, управляющая выполнением других программ) для Ады имеет огромное количество ошибок, что более чем "компенсирует" надежность самой Ады.