W. Kramer, "A Priory Worst-Case Error Bounds for Floating-Point Computations", Proceedings of the 13^th IEEE Symposium on Computer Arithmetic, Asilomar, California, July 6-9, 1997