1. Handbook of Mathematical Functions;Abramowitz,1965
2. IEEE Computer Society, IEEE Standard for Floating-Point Arithmetic, IEEE Std 754™-2008.
3. Assisted verification of elementary functions using Gappa;de Dinechin,2006
4. Introduction to Approximation Theory;Cheney,1966
5. Handbook of Floating-Point Arithmetic;Muller,2009