Hesham A. Al-Twaijry Stuart F. Oberman Steve T. Fu Michael J. Flynn The SNAP Project: Building Validated Floating Point. 99-109 1997 4 J. UCS 2 db/journals/jucs/jucs4.html#Al-TwaijryOFF97