U. Kohlenbach, “A Note on Spector’s Quantifier-Free Rule of Extensionality”, BRICS, bd. 6, nr. 20, jan. 1999.