A programmed algorithm for existence proofs for two-point boundary value problemsM. Göhlen, J. M. Schröder, Michael Plum|Computing|1990Cited by 9