Guaranteed error bounds for the initial value problem using polytope arithmetic - Davey, D. P. (Springer, 1976)
In: 16 (1976), S. 257-268