Computer Interval Arithmetic: Definition and Proof of Correct Implementation

Donald I. Good, Ralph L. London. Computer Interval Arithmetic: Definition and Proof of Correct Implementation. Journal of the ACM, 17(4):603-612, 1970. [doi]

Abstract

Abstract is missing.