G. Alefeld and J. Herzberger, Introduction to Interval Computations, Computer Science and Applied Mathematics, 1974.

J. Armengol, J. Vehí, L. Travé-massuyès, and M. A. Sainz, Application of modal intervals to the generation of error-bounded envelopes, Reliable Computing, vol.7, issue.2, pp.171-185, 2001.
DOI : 10.1023/A:1011426300135

O. Caprani and K. Mandsen, Mittelwertformen in der Intervallanalysis, Computing, vol.14, issue.2, pp.147-154, 1980.
DOI : 10.1007/BF02259640

A. Goldsztejn, Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension
URL : https://hal.archives-ouvertes.fr/hal-00294219

A. Goldsztejn, D. Daney, M. Rueher, and P. Taillibert, Modal Intervals Revisited: a Mean-Value Extension to Generalized Intervals, Proceedings of QCP 2005
URL : https://hal.archives-ouvertes.fr/hal-00990048

E. Hansen, On solving systems of equations using interval arithmetic, Mathematics of Computation, vol.22, issue.102, pp.374-384, 1968.
DOI : 10.1090/S0025-5718-1968-0229411-4

P. Herrero, M. A. Sainz, J. Vehí, and L. Jaulin, Quantified set inversion with applications to control, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508), 2004.
DOI : 10.1109/CACSD.2004.1393872
URL : https://hal.archives-ouvertes.fr/hal-00518707

P. Herrero, M. A. Sainz, J. Vehí, and L. Jaulin, Quantified Set Inversion Algorithm with Applications to Control, Proc. of Interval Mathematics and Constrained Propagation Methods, 2005.
DOI : 10.1007/s11155-005-0044-1
URL : https://hal.archives-ouvertes.fr/hal-00518707

V. I. Istratescu, Fixed point theory : an introduction, Mathematics and its applications. D. Reidel, 1981.
DOI : 10.1007/978-94-009-8177-5

E. Kaucher, Uber metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Raume, 1973.

E. Kaucher, Interval Analysis in the Extended Interval Space IR. Computing, pp.33-49, 1980.

R. B. Kearfott, M. T. Nakao, A. Neumaier, S. M. Rump, S. P. Shary et al., Standardized Notation in Interval Analysis, 2002.

V. Kreinovich, A. Lakeyev, J. Rohn, and P. Kahl, Computational Complexity and Feasibility of Data Processing and Interval Computations, 1998.
DOI : 10.1007/978-1-4757-2793-7

R. Moore, Interval Analysis, Englewood Cliffs N. J, 1966.

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

A. Neumaier, Taylor forms -use and limits, Reliable Computing, vol.9, issue.1, pp.43-79, 2002.
DOI : 10.1023/A:1023061927787

H. Ratschek, Centered Forms, SIAM Journal on Numerical Analysis, vol.17, issue.5, pp.656-662, 1980.
DOI : 10.1137/0717055

M. A. Sainz, E. Gardenyes, and L. Jorba, Formal Solution to Systems of Interval Linear or Non-Linear Equations, Reliable Computing, vol.8, issue.3, pp.189-211, 2002.
DOI : 10.1023/A:1015561212728

M. A. Sainz, E. Gardenyes, and L. Jorba, Interval Estimations of Solutions Sets to Real-Valued Systems of Linear or Non-Linear Equations, Reliable Computing, vol.8, issue.4, pp.283-305, 2002.
DOI : 10.1023/A:1016385132064

S. P. Shary, A new technique in systems analysis under interval uncertainty and ambiguity, Reliable Computing, vol.8, issue.5, pp.321-418, 2002.
DOI : 10.1023/A:1020505620702

S. Group, Modal intervals (basic tutorial) Applications of Interval Analysis to Systems and Control, Proceedings of MISC'99), pp.157-227, 1999.

S. Group, Modal intervals, Reliab. Comp, vol.7, pp.77-111, 2001.

Z. Manna and R. Waldinger, The Deductive Foundations of Computer Programming, 1993.