Beeson, Michael, The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations, this Journal, vol. 40 (1975), pp. 321–346.
Berger, Josef and Bridges, Douglas, A fan-theoretic equivalent of the antithesis of Specker's Theorem, Koninklijke Nederlandse Akademie van Wetenschappen. Indagationes Mathematicae, New Series, vol. 18 (2007), pp. 195–202.
Berger, Josef and Bridges, Douglas, The anti-Specker property, a Heine-Borel property, and uniform continuity, Archive for Mathematical Logic, vol. 46 (2008), pp. 583–592.
Berger, Josef and Bridges, Douglas, Rearranging series constructively, Journal of Universal Computer Science, vol. 15 (2009), pp. 3160–3168.
Berger, Josef, Bridges, Douglas, Diener, Hannes, and Schwichtenberg, Helmut, Constructive aspects of Riemann's permutation theorem for series, submitted for publication.
Berger, Josef, Bridges, Douglas, and Palmgren, Erik, Double sequences, almost Cauchyness, and BD-N, Logic Journal of the IGPL, vol. 20 (2012), pp. 349–354.
Bridges, Douglas, Constructive notions of equicontinuity, Archive for Mathematical Logic, vol. 48 (2009), pp. 437–448.
Bridges, Douglas, Inheriting the anti-Specker property, Documenta Mathematica, vol. 15 (2010), pp. 9073–980.
Bridges, Douglas, Ishihara, Hajime, Schuster, Peter, and Vîţǎ, Luminita, Strong continuity implies uniformly sequential continuity, Archive for Mathematical Logic, vol. 44 (2005), pp. 887–895.
Grayson, Robin J., Heyting-valued models for intuitionistic set theory, Applications of sheaves (Fourman, M. P., Mulvey, C. J., and Scott, D. S., editors), Lecture Notes in Mathematics, vol. 753, Springer, Berlin, 1979, pp. 402–414.
Grayson, Robin J., Heyting-valued semantics, Logic Colloquium '82 (Lolli, G., Longo, G., and Marcja, A., editors), Studies in Logic and the Foundations of Mathematics, vol. 112, North-Holland, Amsterdam, 1984, pp. 181–208.
Ishihara, Hajime, Continuity and nondiscontinuity in constructive mathematics, this Journal, vol. 56 (1991), pp. 1349–1354.
Ishihara, Hajime, Continuity properties in constructive mathematics, this Journal, vol. 57 (1992), pp. 557–565.
Ishihara, Hajime, Sequential continuity in constructive mathematics, Combinatorics, Computability, and Logic (Calude, , Dinneen, , and Sburlan, , editors), Springer, 2001, pp. 5–12.
Ishihara, Hajime and Schuster, Peter, A continuity principle, a version of Baire's Theorem and a boundedness principle, this Journal, vol. 73 (2008), pp. 1354–1360.
Ishihara, Hajime and Yoshida, Satoru, A constructive look at the completeness of d(r), this Journal, vol. 67 (2002), pp. 1511–1519.
Lietz, Peter, From Constructive Mathematics to Computable Analysis via the Realizability Interpretation, Ph.D. thesis, Technische Universität Darmstadt, 2004, see also Realizability models refuting Ishihara's boundedness principle, joint with Thomas Streicher, submitted for publication.
Lubarsky, Robert, Geometric spaces with no points, Journal of Logic and Analysis, vol. 2 (2010), no. 6, pp. 1–10.
Lubarsky, Robert, On the failure of BD-ℕ and BD, and an application to the anti-Specker property, this Journal, vol. 78 (2013), no. 1, pp. 39–56.