1. IEEE Standards Association. IEEE standard for floating-point arithmetic (2008). http://grouper.ieee.org/groups/754/
2. Boldo, S., Jourdan, J.-H., Leroy, X., Melquiond, G.: A formally-verified C compiler supporting floating-point arithmetic. In: 21st IEEE Symposium on Computer Arithmetic (ARITH), pp. 107–115. IEEE (2013)
3. Boldo, S., Nguyen, T.M.T.: Hardware-independent proofs of numerical programs. In: Muñoz, C. (ed.) Second NASA Formal Methods Symposium (NFM 2010), vol. NASA/CP-2010-216215, pp. 14–23. NASA, Washington D.C., April 2010
4. Burden, R.L., Faires, J.D.: Numerical analysis. Cengage Learning (2010)
5. Corden, M.J., Kreitzer, D.: Consistency of floating-point results using the Intel $$\textregistered $$ compiler or why doesn’t my application always give the same answer? (2010). http://software.intel.com/sites/default/files/article/164389/fp-consistency-102511.pdf