1. Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995). English translation
2. Almeida, J.: A syntactical proof of locality of DA. Int. J. Algebra Comput. 6, 165–177 (1996)
3. Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups and Universal Algebra, pp. 1–45. Springer, New York (2005)
4. Almeida, J., Klíma, O.: Representations of relatively free profinite semigroups, irreducibility, and order primitivity. Tech. rep., Univ. Masaryk and Porto (2015).
ArXiv:1509.01389
, submitted
5. Almeida, J., Klíma, O.: Towards a pseudoequational proof theory. Port. Math. 75, 79–119 (2018)