1. Aho, A., Lam, M., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson/Addison Wesley (2007)
2. Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.): Numerical Software with Result Verification. LNCS, vol. 2991. Springer, Heidelberg (2004)
3. Corliss, G.F., Yu, J.: Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic. In: [2], pp. 91–106
4. Frommer, A.: Proving conjectures by use of interval arithmetic. In: Kulisch, U., et al. (eds.) Perspectives on Enclosure Methods, pp. 1–13. Springer, Wien (2001)
5. Gayley, T.: A MathLink Tutorial. Wolfram Research, Champaign (2002)