1. P. Aczel and M. Rathjen, Constructive Set Theory, monograph, forthcoming; preprint available at
http://www1.maths.leeds.ac.uk/~rathjen/book.pdf
2. R. Alps, D.S. Bridges, Morse Set Theory as a Foundation for Constructive Mathematics, monograph in progress (University of Canterbury, Christchurch, New Zealand, 2017)
3. A. Bauer, Realizability as the connection between computable and constructive mathematics, online at
http://math.andrej.com/2005/08/23/realizability-as-the-connection-between-computable-and-constructive-mathematics/
4. A. Bauer, C.A. Stone, RZ: a tool for bringing constructive and computable mathematics closer to programming practice. J. Log. Comput. 19(1), 17–43 (2009)
5. E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, New York, 1967)