%0 Journal Article 
%F bell2009
%A Berger, Ulrich
%A Lloyd, Sion
%T A coinductive approach to verified exact real number computation
%J Electronic Communications of the EASST (ISSN 1863-2122)
%V 23
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/berger2009a.pdf
%D 2009
%K coinduction