Masahiro Kimoto Masako Takahashi On Computable Tree Functions. 273-289 http://dx.doi.org/10.1007/3-540-44464-5_20 2000 conf/asian/2000 ASIAN db/conf/asian/asian2000.html#KimotoT00