Selected papers that cite this one Nai-kuan Tsao. Some a posteriori error bounds in floating-point computations. Journal of the ACM, 21(1):6-17, January 1974.