1. Hölbig, C., Krämer, W.: Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC. Universität Wuppertal, Preprint BUGHW-WRSWT 2003/1 (2003), http://www.math.uni-wuppertal.de/wrswt/literatur.html
2. Krämer, W., Kulisch, U., Lohner, R.: Numerical Toolbox for Verified Computing II – Advanced Numerical Problems. Universität Karlsruhe (1994), http://www.uni-karlsruhe.de/~Rudolf.Lohner/papers/tb2.ps.gz
3. Moore, R.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)
4. Popova, E.D., Krämer, W.: Parametric Fixed-Point Iteration Implemented in CXSC, Preprint 2003/03, WRSWT, Universität Wuppertal (2003)
5. Popova, E.: Parametric Interval Linear Solver. Numerical Algorithms 37, 1–4, 345–356 (2004)