1. On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics;Almeida;Algebra Universalis,1990
2. Finite Semigroups and Universal Algebra;Almeida,1994
3. A. Baziramwabo, P. McKenzie, D. Therien, Modular temporal logic, in: Proc 1999 IEEE Conf. LICS, Trento, Italy, IEEE Press, New York, pp. 344–351.
4. The temporal logic of branching time;Ben-Ari;Acta Inform.,1983
5. M. Bojanczyk, I. Walukiewicz, Characterising EF and EX tree logics, in: Proc. CONCUR 2004, Lecture Notes in Computer Science, Vol. 3170, Springer, Berlin, 2004, pp. 131–145.