Computer Interval Arithmetic: Definition and Proof of Correct Implementation
Donald I. Good, Ralph L. London · Journal of the ACM · 1970
A definition is given of computer interval arithmetic suitable for implementation on a digital computer. Some computational properties and simplifications are derived. An ALGOL code segment is proved to be a correct implementation of the definition on a specified machine environment.