1. The logical strength of the uniform continuity theorem. In: Logical Approaches to Computational Barriers (A. Beckmann, U. Berger, B. Löwe, and J. V. Tucker, eds.). Lecture Notes in Computer Science 3988, pp. 35–39 (Springer, 2006).
2. The fan theorem and unique existence of maxima
3. Classifying Dini's Theorem
4. Foundations of Constructive Analysis (McGraw-Hill, 1967).