B. Lambov, “A Two-Layer Approach to the Computability and Complexity of Real Numbers”, BRICS, bd. 10, nr. 50, dec. 2003.