Yongcheng Wu, Klaus Weihrauch A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:120, n:, pp:217-230 [Journal]
Yongcheng Wu, Klaus Weihrauch A computable version of the Daniell-Stone theorem on integration and linear functionals. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:359, n:1-3, pp:28-42 [Journal]