Title: Rigorous shadowing of numerical solutions of ordinary differential equations by containment
First published: 2001