1. and Domain theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1-168 (Oxford 1994).
2. On a hierarchy of sets II. Algebra and Logic 7, No. 4, 15-47 (1968) (in Russian).
3. Computable functionals of finite types
4. The theory of A-spaces
5. Theory of Numberings (Nauka, Moscow 1977) (in Russian).