Interval Arithmetic and Automatic Error Analysis in Digital Computing (1962)

by R Moore