Kojiro Kobayashi On Proving Time Constructibility of Functions. 215-225 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#Kobayashi85