1. Bates, J.L., A Logic for Correct Program Development, Ph.D. Thesis, Department of Computer Science, Cornell University, 1979.
2. Dept. of Computer Science Technical Report, TR;J.L. Bates,1982
3. Bates J. and R.L. Constable, "Definition of Micro-PRL", Technical Report TR 82-492, Computer Science Department, Cornell University, October 1981.
4. Beeson, M., "Formalizing Constructive Mathematics: Why and How?", Constructive Mathematics (ed., F. Richman), Lecture Notes in Computer Science, Springer-Verlag, NY, 1981, 146–190.
5. Bishop, E., Foundations of Constructive Analysis, McGraw Hill, NY, 1967, 370 pp.