In which categories are first-order axiomatizable hulls characterizable by ultraproducts ? Bui Huy Hien, I. Sain (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Indexed categories for program development B. Hilken, D. E. Rydeheard (1991) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Infinite Forcing for Boolean valued Models George Loullis (1978) Δελτίο της Ελληνικής Μαθηματικής Εταιρίας