1. Amadio R. [1991] "Bifinite Domains: Stable Case", LIENS-TR 91-3, March 1991.
2. Berardi S. [1988] "Retractions on dI-domains as a model for Type:Type", preprint.
3. Berry G. [1979] "Modèles complètement adéquats et stables des lambda-calculs typés", Thèse d' Etat, Université Paris VII.
4. Coquand T. [1989] "Categories of embeddings", TCS, 68, (221–237).
5. Droste M., Göbel R. [1990] "Universal domains in the theory of denotational semantics of programming languages", IEEE-LICS 90, Philadelphia.