Computer Arithmetic and Validity door Ulrich W. Kulisch