Some Steps into Verification of Exact Real Arithmetic. - Norbert Th. Müller; Christian Uhrhan (NASA Formal Methods, 2012)