A stochastic arithmetic for reliable scientific computation (1993)

by J Vignes