Andrew M. Stuart: Probabilistic and deterministic convergence proofs for software for initial value problems. Numer. Algorithms 14(1-3): 227-260 (1997)