U. Kohlenbach, “Some Logical Metatheorems with Applications in Functional Analysis”, BRICS, bd. 10, nr. 21, maj 2003.