Computer arithmetic in theory and practice - Kulisch, Ulrich; Miranker, Willard L. (Computer Science and applied mathematics, 1981)