1. Aczel, P., Rathjen, M.J.: Notes on Constructive Set Theory, draft available at
http://www1.maths.leeds.ac.uk/~rathjen/book.pdf
2. Alps, R.A., Bridges, D.S.: Morse Set Theory as a Foundation for Constructive Mathematics, monograph in preparation (2019)
3. Arrow, K.J., Hahn, F.H.: General Competitive Analysis. Oliver and Boyd, Edinburgh (1971)
4. Bishop, E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
5. Bishop, E.A., Bridges, D.S.: Constructive analysis. Grundlehren der Math. Wiss. 279. Springer, Heidelberg (1987)