A programmed algorithm for existence proofs for two-point boundary value problems. - Michael Göhlen; Michael Plum; Johann Schröder (Computing, 1990)