Xizhong Zheng Ning Zhong Proceedings Seventh International Conference on Computability and Complexity in Analysis CCA http://dx.doi.org/10.4204/EPTCS.24 2010 EPTCS 24 db/series/eptcs/eptcs24.html