Recursively enumerable reals and Chaitin ! numbers (1998)

by C S Calude, P Hertling, B Khoussainov, Y Wang
Venue:Proceedings of the 15th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science