Finite Precision Number Systems And Arithmetic by Peter Kornerup & David W. Matula