1. Awodey, S., Category Theory, 2nd edition, vol. 52 of Oxford Logic Guides, Oxford University Press, Oxford, 2010.
2. Aczel, P., and M. Rathjen, “Constructive set theory,” book draft, 2010.
3. Bishop, E., Foundations of Constructive Analysis, McGraw-Hill Series in Higher Mathematics, McGraw-Hill, New York, 1967.
4. Bishop, E., and D. S. Bridges, Constructive Analysis, vol. 279 of Grundlehren der mathematischen Wissenschaften, Springer, Heidelberg-Berlin-New York, 1985.
5. Bishop, E., and H. Cheng, Constructive Measure Theory, no. 116 in Memoirs of the American Mathematical Society, American Mathematical Society, Providence, 1972.