1. Abadi M., Plotkin G. [1990] "A per model of polymorphism and recursive types", 5th IEEE-LICS, Philadelphia.
2. Amadio R. [1989] "Recursion over realizability structures", TR 1/89 Dipartimento di Informatica, Università di Pisa, (to appear on Info.&Comp.).
3. Amadio R., Cardelli L. [1990] "Subtyping Recursive Types", DEC-SRC TR #62, ext. abs. to appear in Proc. ACM-POPL91.
4. Bruce K., Longo G. [1990] "A modest model of records, inheritance and bounded quantification", Info&Comp., 87, 1–2, (196–240), Preliminary version in Proc. of IEEE-LICS 88.
5. Carboni A., Freyd P., Scedrov A. [1987] "A categorical approach to realizability and polymorphic types" 3rd ACM Symp. on Math. Found of Language semantics, New Orleans.