1. Bohlender G (1990) What do we need beyond IEEE arithmetic? In: Ullrich Ch (ed) Computer arithmetic and self-validating numerical methods. Academic Press, San Diego
2. Bohlender G, Grüner K (1982) Gesichtspunkte zur Implementierung einer optimalen Arithmetik, German Chapter of the ACM 10. B.G. Teubner, Stuttgart, p 95
3. GNU C Library, GNU Project, Free Software Foundation (FSF). http://www.gnu.org/s/libc/
4. Hammer R, Hocks M, Kulisch U, Ratz D (1995) C++ Toolbox for Verified Computing. Springer, New York
5. IEEE Interval Standard Working Group, P1788. http://grouper.ieee.org/groups/1788/