1. Introduction to Interval Computation;Alefeld,1983
2. Formal methods applied to a floating point system. Programming Research Group Technical Monograph PRG-58;Barrett,1987
3. A simple but realistic model of floating point computation;Brown;ACM Transactions on Mathematical Software,1981
4. Environment parameters and basic functions for floating-point computation;Brown;ACM Transactions on Mathematical Software,1980
5. Floating point parameters, models and standards;Cody,1982