Guaranteed error bounds for the initial value problem using polytope arithmetic - Davey, D. P.; Stewart, N. F. (Springer, 1976)
http://dx.doi.org/10.1007/BF01932267
Keywords: SA-SP