1. Lecture Notes in Computer Science,2004
2. Corliss, G.F., Yu, J.: Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic. In: [1], pp. 91–106
3. Corliss, G.F., Kearfott, R.B., Nedialkov, N., Pryce, J.D., Smith, S.: Interval subroutine library mission. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Number 06021, Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Germany (2006)
4. C-XSC library: http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_new.html , solvers: http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html
5. Gayley, T.: A MathLink Tutorial. Wolfram Research (2002)