A. Prior, “Extensionality and Propositional Identity”, CRHF, vol. 3, no. 7-8, pp. 35–60, Jun. 1969.