1. Computable functionals;Grzegorcyzk;Fund. Math.,1955
2. On the definitions of computable real continuous functions;Grzegorcyzk;Fund. Math.,1957
3. Some approaches to constructive analysis;Grzegorcyzk,1958
4. Introduction to Automata Theory, Languages and Computation;Hopcroft,1979
5. Continued Fractions;Khintchine,1963