Reiner Kolla A. Vodopivec Jürgen Wolff von Gudenberg Splitting Double Precision FPUs for Single Precision Interval Arithmetic. 5-16 1999 conf/arcs/1999-2 ARCS Workshops db/conf/arcs/arcs1999-2.html#KollaVG99