Kohlenbach, U. (1997) “On the No-Counterexample Interpretation”, BRICS Report Series, 4(42). doi: 10.7146/brics.v4i42.18968.