1. Feferman, S.: Proceedings of the Summer School in Logic — Leeds 1967. Lectures Notes in Mathematics, Vol. 70, Berlin, Heidelberg, New York: Springer 1968.
2. Ferbus, M.-C.: Bornes fonctorielles pour l'élimination des coupures, 1982. Thèse de 3ème cycle (Univ. Paris 7).
3. Girard, J.Y.: Cours de theorie de la démonstration. Paris 1979/80 (unpublished).
4. Girard, J.Y.:Π 2 1 -logic. Part 1 (Manuscript unpublished).
5. Girard, J.Y.:Π 2 1 -logic. Part 1: Dilators — 1980. Ann. Math. Logic21, 75–219 (1981).