Gerhardy, P., og U. Kohlenbach. “General Logical Metatheorems for Functional Analysis”. BRICS Report Series, bd. 12, nr. 21, juli 2005, doi:10.7146/brics.v12i21.21887.