Contributions to computer arithmetic and self-validating numerical methods

[1]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.