1. Scientific Computing with Result Verification;Adams,1993
2. A. Akkas, Instruction set enhancements for reliable computations, Ph.D. Thesis, Lehigh University. 2001.
3. A. Amaricai, M. Vladutiu, M. Udrescu, L. Prodan, O. Boncalo, Floating point multiplication rounding schemes for interval arithmetic, in: Proc. International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2008, 2008, pp. 19–24.
4. Significance arithmetic: application to a partial differential equation;Bivins;IEEE Transactions on Computers,1977
5. J.-C. Bajard, O. Beaumont, J.-M. Chesneaux, M. Daumas, J. Erhel, D. Michelucci, J.-M. Muller, B. Philippe, N. Revol, J.-L. Roch, J. Vignes, Qualité des Calculs sur Ordinateur, Masson Paris, 1997.