1. Total sets and objects in domain theory;Berger;Ann. Pure Appl. Logic,1993
2. Domain representability of metric spaces;Blanck,1995
3. Algorithmic operators in constructive complete separable metric spaces;Ceitin;Dokl. Akad. Nauk SSSR,1959
4. The model C of the partial continuous functionals;Ershov,1977