John Harrison Floating-Point Verification. 629-638 2007 13 J. UCS 5 http://www.jucs.org/jucs_13_5/floating_point_verification db/journals/jucs/jucs13.html#Harrison07