A coinductive approach to verified exact real number computation. - Ulrich Berger 001; Sion Lloyd (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)