1. P. Aczel: The Type Theoretic Interpretation of Constructive Set Theory, in: MacIntyre, A. Pacholski, L., and Paris, J. (eds.), Logic Colloquium ‘77, North-Holland, Amsterdam 1978.
2. P. Aczel: The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles, in: Troelstra, A. S., van Dalen, D. (eds), The L.E.J. Brouwer Centenary Symposium, North-Holland, Amsterdam 1982.
3. P. Aczel: The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions,in: Marcus, R. B. et al. (eds), Logic, Methodology,and Philosopy of Science VII,North-Holland, Amsterdam 1986.
4. H. Bachmann: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen, Vierteljahresschrift Naturforsch. Ges. Zürich 95 (1950) 115–147.
5. J. Barwise: Admissible Sets and Structures ( Springer, Berlin 1975 ).