Beeson, M.: Non-continuous Dependence of Surfaces of Least Area on the Boundary Curve, Pacific Journal of Mathematics, 70 (1977), 11 -- 17.
Berg, G., Julian, W., Mines, B., Richman, F.: The Constructive Jordan Curve Theorem, Rocky Mountain Journal of Mathematics,5 (1975), 225 -- 234.
Bishop, E.: Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
Bishop, E.: A Constructive Ergodic Theorem, Journal of Mathematics and Mechanics, 17 (1968), 631 - 639.
Bishop, E.: An Upcrossing Inequality with Applications, ?, 1 -- 13.
Bishop, E., Bridges, D.S.: Constructive Analysis, Springer 1985.
Bishop, E., Cheng, H.: Constructive Measure Theory, Memoirs of the American Mathematical Society, volume 116, 1972.
Bridges, D.S.: Some notes on continuity in constructive analysis, Bull. London Math. Soc. 8(1976), 179-182.
Bridges, D.S.: Connectivity properties of metric spaces, Pac. J. Math. 80(1979), 325 - 331.
Bridges, D.S.: Constructive Functional Analysis, Research Notes in Mathematics, vol. 28, Pitman, London 1979.
Bridges, D.S.: On the Foundations of Best Approximation Theory, Journal of Approximation Theory, 28 (1980), 273 -- 292.
Bridges, D.S.: Sequential, Pointwise, and Continuity: A Constructive Note, Mathematical Logic Quarterly, 39 (1993), 55 -- 61.
Bridges, D.S.: Constructive Notions of Strict Convexity, Mathematical Logic Quarterly, 39 (1993), 295 -- 300.
Bridges, D.S., Ishihara, H.: Linear mappings are fairly well-behaved, Arch. Math. 54(1990), 558-562.
Brom, J.: The Theory of Almost Periodic Functions in Constructive Mathematics, Pacific Journal of Mathematics, 70 (1977), 67 -- 81.
Calder, A., Julian, W., Mines, R., Richman, F.: Epsilon-covering dimension, Pac. J. Math. 95(1981), 257 - 262.
Chan, Y.K.: A Constructive Proof of Sard's Theorem, Pacific Journal of Mathematics, 36(1971), 291-301.
Chan, Y.K.: A Constructive Study of Measure Theory, Pacific Journal of Mathematics, 41(1972), 63 - 79.
Chan, Y.K.: A Constructive Approach to the Theory of Stochastic Processes, Trans. Amer. Math. Society 165(1972), 37-44.
Chan, Y.K.: Notes on Constructive Probability Theory, Ann. Probability 2(1974), 51 -75.
Chan, Y.K.: Constructive foundations of potential theory, 71(1977), 405 - 418.
Gibson, C.G.: On the Almost Periodicity of Trigonometric Polynomials in Constructive Mathematics, Indagiationes Mathematicae.
Ishihara, H.: On the constructive Hahn-Banach theorem, Bull. London Math. Soc. 21(1989), 79-81.
Ishihara, H.: Constructive compact linear mappings, Bull. London Math. Soc. 21(1989), 577-584.
Ishihara, H.: Constructive compact operators on a Hilbert space, Ann. Pure Appl. Logic 52(1991), 31-37.
Julian, W., Mines, R., Richman, F.: Alexander duality, Pac. J. Math. 106(1983), 115 - 127.
Mandelkern, M.: Connectivity of an Interval, Proceedings of the American Mathematical Society, 54 (1976), 170 -- 172.
Mandelkern, M.: Resolutions of the Line, Pacific Journal of Mathematics, 88 (1980), 91 -- 100.
Mandelkern, M.: Located Sets on the Line, {\em Pacific Journal of Mathematics, 95 (1981), 401 -- 409.
Mandelkern, M.: Limited Omniscience and the Bolzano-Weierstrass Principle, Bulletin of the London Mathematical Society, 20 (1988), 319 -- 320.
Mandelkern, M.: Metrization of the One-point Compactification, Proceedings of the American Mathematical Society, 107 (1989), 1111 -- 1115.
Mandelkern, M.: Open Subspaces of Locally Compact Metric Spaces, Mathematical Logic Quarterly, 39 (1993), 213 -- 216.
Mandelkern, M.: Finitary Sequence Spaces, Mathematical Logic Quarterly, 39 (1993), 426 --430.
Royden, H.L.: Aspects of Constructive Analysis, in: Contemporary Mathematics, vol. 39, American Mathematical Society 1985.