@inproceedings{RettingerZhengGengleretal.2005, author = {Robert Rettinger and Xizhong Zheng and Romain Gengler and Burchard von Braunm{\"u}hl}, title = {Weakly computable real numbers and total computable real functions}, year = {2005}, }