1. On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics;Almeida;Algebra Univ.,1990
2. A. Arnold, M. Dauchet, Théorie des magmoı¨des I and II, RAIRO Theoret. Inform. Appl. 12 (1978), 235–257; 3 (1979) 135–154 (in French).
3. M. Benedikt, L. Ségoufin, Regular tree languages definable in FO, in: V. Diekert, B. Durand (Eds.), STACS 2005, Lecture Notes in Computer Science, vol. 3404, Springer, Berlin, pp. 327–339.
4. Iteration Theories;Bloom,1993
5. M. Bojańczyk, I. Walukiewicz, Characterizing EFand EXtree logics, in: P. Gardner, N. Yoshida (Eds.), CONCUR 2004, Lecture Notes in Computer Science, Vol. 3170, Springer, Berlin, 2004.