1. Beeson, M. J.: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Annals of Math. Logic, 12, 249–322 (1977).
2. Beeson, M. J.: Continuity in intuitionistic set theories. In Logic Colloquium '78 (ed. Boffa, M., van Dalen, D., and MacAloon, K.). Amsterdam: North-Holland 1979.
3. Beeson, M. J.: A theory of constructions and proofs. To appear in J. Symbolic Logic. Preprint version: University of Utrecht, preprint no. 134, Nov. 1979.
4. Beeson, M. J.: Problematic principles in constructive mathematics. To appear in Logic Colloquium '80, or elsewhere if this volume is not published.
5. Beeson, M. J.: Recursive models for constructive set theory. To appear. (Submitted to Annals of Math. Logic). Preprint version: University of Utrecht, preprint no. 179, Nov. 1980.