1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983.
2. Carroll, J.: A Matricial Exponentially Fitted Scheme for the Numerical Solution of Stiff Initial-Value Problems, Computers Math. Applic. 26, 1993, pp. 57?64.
3. Carroll, J.: A Uniformly Convergent Exponentially Fitted DIRK Scheme, in: Miller, J. J. H. (ed.), Proc. BAIL III Conf. on Computational and Asymptotic Methods for Boundary and Initial Layers, Boole Press, Dublin, 1984.
4. Carroll, J.: On the Implementation of Exponentially Fitted One-Step Methods for the Numerical Integration of Stiff Linear Initial Value Problems, in: Miller, J. J. H. (ed.), Proc. BAIL II Conf. on Computational and Asymptotic Methods for Boundary and Initial Layers, Boole Press, Dublin, 1982.
5. Corliss, G. F.: Guaranteed Error Bounds for Ordinary Differential Equations, in: Ainsworth, M., Light, W. A., and Marletta, M. (eds): Theory and Numerics of Ordinary and Partial Differential Equations, Clarendon Press, Oxford, 1995, pp. 1?75, http://www.eng.mu.edu/corlissg/.