Xizhong Zheng Robert Rettinger Romain Gengler Closure Properties of Real Number Classes under CBV Functions. 701-729 2005 38 Theory Comput. Syst. 6 http://dx.doi.org/10.1007/s00224-004-1159-1 db/journals/mst/mst38.html#ZhengRG05