Title: Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
First published: 1999