Computer Arithmetic in theory and practice. - Kulisch, Ulrich (Computer Science and applied mathematics., 1981)