1. R.A. Alps, D.S. Bridges, Morse Set Theory as a Foundation for Constructive Mathematics, 2021, in preparation; partial preprint available on email request.
2. Foundations of Constructive Analysis;Bishop,1967
3. E. Bishop, How to Compile Mathematics into Algol, c. 1970, unpublished manuscript.
4. Constructive Mathematics—its Set Theory and Practice;Bridges,1974