1
Computer Arithmetic and Validity [E-Book] : Theory, Implementation, and Applications.