1. S. Albeverio, R. Høegh-Krohn, J.E. Fenstad and T. Lindstrøm, Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Pure and Applied Mathematics, Vol. 122, Academic Press, 1986, xii + 514.
2. M.J. Beeson, Foundations of Constructive Mathematics, Ergebnisse der Mathematik und Ihrer Grenzgebiete, Vol. 6, Springer, 1985, Metamathematical studies, xxiii + 466.
3. U. Berger and P. Oliva, Modified bar recursion and classical dependent choice, in: LC01, Lect. Notes Log., Vol. 20, 2005, pp. 89–107.
4. Modified bar recursion;Berger;Math. Structures Comput. Sci.,2006
5. S.R. Buss, An introduction to proof theory, in: Handbook of Proof Theory, Stud. Logic Found. Math., Vol. 137, North-Holland, Amsterdam, 1998, pp. 1–78.