(1)
Luo, C. Cross-Categorial Formal Identity: A Functional Account. PAMAPLA 1991, 14, 91-113.