U. Kohlenbach, “On the No-Counterexample Interpretation”, BRICS, bd. 4, nr. 42, jun. 1997.