1. Abramovitz, M., Stegun, I.: Handbook of Mathematical Functions. National Bureau of Standards (1972)
2. Lecture Notes in Computer Science;S. Boutin,1997
3. Ciaffaglione, A.: Certified Reasoning on Real Numbers and Objects in Coinductive Type Theory. PhD thesis, Università degli Studi di Udine (1993)
4. Daumas, M., Melquiond, G.: Generating formally certified bounds on values and round-off errors. In: Real Numbers and Computers, Dagstuhl, Germany, pp. 55–70 (2004)
5. Daumas, M., Melquiond, G., Muñoz, C.: Guaranteed proofs using interval arithmetic. In: Accepted for publication at the 17th IEEE Symposium on Computer Arithmetic (1995)