1. The finite interval analysis;Shary,2010
2. Emden New developments in interval arithmetic and their implications for floating - point standardization http arXiv org abs cs NA;Van,2002
3. Interval analysis;Kalmykov;methods Science,1986
4. Bilateral numerical;Dobronec;methods Science,1990
5. Complete Interval Arithmetic and its Implementation In Numerical Validation Current Hardware Architectures The International Conference and Research Center for computer;Kulisch;science,2008