B. Lambov, “A Two-Layer Approach to the Computability and Complexity of Real Numbers”, BRICS, vol. 10, no. 50, Dec. 2003.