[1]
U. Kohlenbach, “Some Logical Metatheorems with Applications in Functional Analysis”, BRICS, vol. 10, no. 21, May 2003.