Daniel Berleant Hang Cheng A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions. 71-82 1998 4 Reliable Computing 1 http://dx.doi.org/10.1023/A:1009954817673 db/journals/rc/rc4.html#BerleantC98