Ulrich W. Kulisch: Mathematical Foundation of Computer Arithmetic. IEEE Trans. Computers 26(7): 610-621 (1977)