Eilenberg theorems for many-sorted formations | Publicación