Vasco Brattka Effective Borel measurability and reducibility of functions. 19-44 2005 51 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200310125 db/journals/mlq/mlq51.html#Brattka05