Automatic Forward Error Analysis for Floating Point Algorithms. - Walter Krämer; Armin Bantle (Reliab. Comput., 2001)