Hubert Comon: Equational Formulas in Order-Sorted Algebras. ICALP 1990: 674-688