Computer Arithmetic and Validity Theory, Implementation, and Applications by Ulrich Kulisch | Menrva Books