Matthieu Martel Semantics of roundoff error propagation in finite precision calculations. 7-30 2006 19 Higher-Order and Symbolic Computation 1 http://dx.doi.org/10.1007/s10990-006-8608-2 db/journals/lisp/lisp19.html#Martel06