Reliable Implementation of Real Number Algorithms: Theory and Practice nidottuEnglanti, 2008