Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited | Publicación