Jean-Michel Muller, Sylvie Boldo, "Exact and Approximated Error of the FMA", IEEE Transactions on Computers vol. 60 no. , p. 157-164, , 2010