Eric Goubault Sylvie Putot Robustness analysis of finite precision implementations. 2013 CoRR http://arxiv.org/abs/1309.3910 abs/1309.3910 db/journals/corr/corr1309.html#GoubaultP13