1. C-XSC: C-XSC Download,
http://www.math.uni-wuppertal.de/wrswt/xsc/cxsc_new.html
2. Lecture Notes in Computer Science;W. Hofschuster,2004
3. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)
4. Blomquist, F., Hofschuster, W., Krämer, W.: Real and complex Taylor Arithmetic in C-XSC. Preprint BUW-WRSWT 2005/4, University of Wuppertal (2005),
http://www.math.uni-wuppertal.de/wrswt/literatur/lit_wrswt.html
5. Bräuer, M.C.: Berechnungsmethoden für Ableitungen und Steigungen und deren Realisierung in C-XSC. Master’s thesis, University of Karlsruhe (1999)