Recursively enumerable reals and (1998)

by C S Calude, P H Hertling, B Khoussainov, Y Wang
Venue:Chaitin Ω numbers, Proc. STACS 1998