1. Jung, A.: Cartesian Closed Categories of Domains. CWI Tract 66 Stichting Math. Centrum Amsterdam (1989)
2. Ershov, Yu. L.: La théorie des énumération. Actes Congr. Intern. Math. 1 Gauthier-Villars Paris (1971) 223–227
3. Scott, D.: Models for various type-free calculi. LMPS IV. Studies in Logic No 74 North-Holland Amsterdam (1973) 157–188
4. Ershov, Yu. L.: Theory of A-spaces. Algebra i Logika 12 No 4 (1973) 369–416
5. Scott, D.: Domains for denotational semantics. ICALP 82. Springer LNCS No 140 (1982) 577–613