Ulrich W. Kulisch. An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II. Volume 7204 of Lecture Notes in Computer Science, pages 484-495, Springer, 2011. [doi]
Abstract is missing.