P. Gerhardy og U. Kohlenbach, “General Logical Metatheorems for Functional Analysis”, BRICS, bd. 12, nr. 21, jul. 2005.