Walter Krämer, Armin Bantle: Automatic Forward Error Analysis for Floating Point Algorithms. Reliab. Comput. 7(4): 321-340 (2001)