Computer Arithmetic and Validity by Ulrich W. Kulisch