Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers - Alt, René; Frommer, Andreas; Kearfott, R. Baker; Luther, Wolfram (Springer Berlin Heidelberg, 2004)