René Alt Jean Luc Lamotte Svetoslav Markov Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation. 13-22 2007 conf/ifsa/2007 IFSA (1) http://dx.doi.org/10.1007/978-3-540-72950-1_2 db/conf/ifsa/ifsa2007.html#AltLM07