Michael Plum: Computer-assisted existence proofs for two-point boundary value problems. Computing 46(1): 19-34 (1991)