Extensionality in Zermelo-Fraenkel Set Theory. - Hinnion, R. (Mathematical Logic Quarterly, 1986)