Peter M. Neely: On the Use of Integer Arithmetic to Achieve Confirmably Correct Computation. Softw. Pract. Exp. 7(2): 159-163 (1977)