The solution of initial value problems using interval arithmetic formulation and analysis of an algorithm - Eijgenraam, Pieter (Math. Centrum, 1981)