R. Baker Kearfott Markus Neher Shin'ichi Oishi Fabien Rico Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. 36-63 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2991&spage=36 2003 conf/dagstuhl/2003ns Numerical Software with Result Verification db/conf/dagstuhl/ns2003.html#KearfottNOR03