Homomorphisms of direct powers of algebras Andrzej Ehrenfeucht, Siemion Fajtlowicz, Jan Mycielski (1979) Fundamenta Mathematicae
How to make many-sorted algebras one-sorted Barry J. Gardner (1989) Commentationes Mathematicae Universitatis Carolinae