1. Barendregt, H. P., 1981, “The Lambda Calculus,” North-HoHand, Amsterdam.
2. Buchholz, W., Feferman, S., Pohlers, W., and Sieg, W., 1981, “Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies,” Springer, Berlin.
3. Feferman, S., 1968, “Ordinals Associated with Theories for One Inductively Defined Set,” unpublished typescript (of a lecture given at the 1968 summer conference at Buffalo, New York).
4. Girard, J.-Y., 1981, π1/2-Logic, Part 1: Dilators, Annals of Math. Logic, 21:75–219.
5. Girard, J.-Y., 198., “Proof Theory and Logical Complexity,” Bibliopolis, Naples (to appear).