1. S. Eilenberg: Automata, Languages and Machines, Vol. A ( Academic Press, New York, 1974 ).
2. R. Freund: Real Functions and Numbers Defined by Turing Machines, Theoret. Comp. Sci. 23 (1983) 287–304.
3. M. L. Minsky: Berechnung: Endliche und unendliche Maschinen (Verlag Berliner Union, Stuttgart, 1971 ).
4. H. Rogers: Theory of Recursive Functions and Effective Computability (McGraw Hill, 1967).
5. A. Salomaa: Formal Languages ( Academic Press, New York, 1973 ).