1. Yu. L. Ershov, "Computable numerations of morphisms," Algebra i Logika,10, No. 3, 247–308 (1971).
2. S. C. Kleene, "Countable functionals," in: Constructivity in Mathematics, Amsterdam (1959), pp. 81–100.
3. G. Kreisel, "Interpretation of analysis by means of constructive functionals of finite types," in: Constructivity in Mathematics, Amsterdam (1959), pp. 101–128.
4. M. Davis, "Computable functionals of arbitrary finite types," in: Constructivity in Mathematics, Amsterdam (1959), pp. 281–289.
5. D. Scott, "Outline of mathematical theory of computation," Proc. 4th Annual Princeton Conference on Information Science and Systems (1970), pp. 169–176.