On the Need for Predictable Floating-Point Arithmetic in the Programming Languages Fortran 90 and C/C++. - Dennis Verschaeren; Annie A. M. Cuyt; Brigitte Verdonk (ACM SIGPLAN Notices, 1997)

A precision- and range-independent tool for testing floating-point arithmetric I: basic operations, square root, and remainder. - Brigitte Verdonk; Annie A. M. Cuyt; Dennis Verschaeren (ACM Trans. Math. Softw., 2001)

A precision- and range-independent tool for testing floating-point arithmetic II: conversions. - Brigitte Verdonk; Annie A. M. Cuyt; Dennis Verschaeren (ACM Trans. Math. Softw., 2001)