Interval arithmetic: From principles to implementation. - Timothy J. Hickey; Qun Ju; Maarten H. van Emden (J. ACM, 2001)