Computer arithmetic in theory and practice - Kulisch, Ulrich W. (Academic Press, 1981)