John Case Susanne Kaufmann Efim B. Kinber Martin Kummer Learning Recursive Functions from Approximations. 183-196 1997 55 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss55.html#CaseKKK97