Arnold Neumaier: Global, rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory. Computing 52(4): 315-336 (1994)