1. Michael J. Beeson. Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete; 3. Folge · Band 6. Springer Verlag, 1985.
2. Michael J. Beeson. Proving programs and programming proofs. In International Congress on Logic, Methodology and Philosophy of Science VII, pages 51–82, Amsterdam, 1986. North-Holland. Proceedings of a meeting held at Salzburg, Austria, in July, 1983.
3. Michael J. Beeson. Towards a computation system based on set theory. Theoretical Computer Science, 60:297–340, 1988.
4. Ermanno Bencivenga. Free logics. In Dov M. Gabbay and Franz Guenthner, editors, Handbook of Philosophical Logic-Volume III: Alternatives to Classical Logic, volume 166 of Synthese Library, chapter III.6, pages 373–426. D. Reidel Publishing Company, Dordrecht, Holland, 1985.
5. William M. Farmer. A partial functions version of Church's simple theory of types. Journal of Symbolic Logic, 55(3):1269–1291, September 1990.