Iraj Kalantari Larry Welch On degree-preserving homeomorphisms between trees in computable topology. 679-693 2008 46 Arch. Math. Log. 7-8 http://dx.doi.org/10.1007/s00153-007-0056-0 db/journals/aml/aml46.html#KalantariW08