Keijo Ruohonen An Effective Cauchy-Peano Existence Theorem for Unique Solutions. 151-160 1996 7 Int. J. Found. Comput. Sci. 2 db/journals/ijfcs/ijfcs7.html#Ruohonen96