Reliable implementation of real number algorithms: theory and practice : international seminar Dagstuhl Castle, Germany, January 8-13, 2006: revised papers / ed. P. Hertling, 2008 r=on-line. - Текст : электронный.