Peter Hertling Klaus Weihrauch Random elements in effective topological spaces with measure. 32-56 2003 181 Inf. Comput. 1 http://dx.doi.org/10.1016/S0890-5401(02)00034-2 db/journals/iandc/iandc181.html#HertlingW03