Norbert Th. Müller Christian Uhrhan Some Steps into Verification of Exact Real Arithmetic. 168-173 2012 NASA Formal Methods http://dx.doi.org/10.1007/978-3-642-28891-3_17 conf/nfm/2012 db/conf/nfm/nfm2012.html#MullerU12