1. P. Aczel The type theoretic interpretation of Constructive Set Theory. In: Logic Colloquium '77, Studies in Logic and the Foundation of Mathematics (A. Macintyre, L. Pacholski, and J. Paris, eds.), pp. 55-66 (North-Holland, 1978).
2. P. Aczel M. Rathjen Notes on Constructive Set Theory. Institut Mittag-Leffler Preprint 40, 2000/01 (2000).
3. Binary Refinement implies discrete exponentiation;Aczel;Studia Logica,2006
4. On constructing completions;Crosilla;J. Symbolic Logic,2005
5. On the constructive Dedekind reals;Lubarsky;Logic and Analysis,2008