O. Knüppel, PROFIL/BIAS???Eine schnelle Intervallbibliothek, Computing, vol.5, issue.3-4, pp.3-4277, 1994.
DOI : 10.1007/BF02307379

J. Derwent, P. , and G. F. Corliss, Interval arithmetic with containment sets, Computing, vol.78, issue.3, pp.251-276, 2006.

S. M. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing: Papers presented at the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN-98) of Reliable Computing, pp.77-104, 1999.
DOI : 10.1007/978-94-017-1247-7_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.8132