Berger, U. and Lloyd, S. (2009) “A coinductive approach to verified exact real number computation”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.331.