Xizhong Zheng A Computability Theory of Real Numbers. 584-594 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_60 db/conf/cie/cie2006.html#Zheng06