1. Computing Supplementum,1993
2. American National Standards Institute / Institute of Electrical and Electronics Engineers: A Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std. 754- 1985, New York (1985)
3. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C-XSC Toolbox for Verified Computing I: basic numerical problems. Springer, Berlin (1995)
4. Hofschuster, W., Krämer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0: A C++ Class Library for Extended Scientific Computing. Universität Wuppertal, Preprint BUGHW - WRSWT 2001/1 (2001)
5. Hölbig, C.A., Diverio, T.A., Claudio, D.M., Krämer, W., Bohlender, G.: Automatic Result Verification in the Environment of High Performance Computing. In: IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Paris. Extended abstracts, pp. 54–55.