1. P. Aczel. “Galois: A Theory Development Project.” Turin workshop on the representation of mathematics in Logical Frameworks, January 1993.
2. J. A. Altucher and P. Panangaden. “A Mechanically Assisted Constructive Proof in Category Theory.” In proceedings of CADE 10, Springer-Verlag LNCS, 1990.
3. R. Asperti and G. Longo. “Categories, Types, and Structures.” MIT Press, 1991.
4. N.G. de Bruijn. “A riffle shuffle card trick and its relation to quasi crystal theory.” Nieuw Archief Voor Wiskunde 5 3 (1987) 285-301.
5. T. Coquand. “Metamathematical Investigations of a Calculus of Constructions.” Rapport de recherche INRIA 1088, Sept. 89. In “Logic and Computer Science,” ed. P. Odifreddi, Academic Press, 1990, 91-122.