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