1. Studies in Logic and the Foundations of Mathematics;H. Barendregt,1984
2. Barendregt, H., Bunder, M., Dekkers, W.: Completeness of two systems of illative combinatory logic for first order propositional and predicate calculus. Archive für Mathematische Logik 37, 327–341 (1998)
3. Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)
4. Beeson, M.: Proving programs and programming proofs. In: Barcan, Marcus, Dorn, Weingartner (eds.) Proceedings of the International Congress Logic, Methodology, and Philosophy of Science VII, Salzburg, 1983, pp. 51–81. North-Holland, Amsterdam (1986)
5. Beeson, M.: Otter Two System Description. In: IJCAR 2004 (2004) (submitted)