U. Kohlenbach, “On the No-Counterexample Interpretation”, BRICS, vol. 4, no. 42, Jun. 1997.