Pātuhitia tēnei: The solution of initial value problems using interval arithmetic : formulation and analysis of an algorithm / P. Eijgenraam.