Безошибочные вычисления. Методы и приложения (Грегори Роберт Тодд)