A positive extension of Eilenberg's variety theorem for non-regular languages. - A. Cano; J. Cantero; Ana Martínez-Pastor (Appl. Algebra Eng. Commun. Comput., 2021)