(1)
Lambov, B. A Two-Layer Approach to the Computability and Complexity of Real Numbers. BRICS 2003, 10.