1. Auinger, K.: On the bifree locally inverse semigroup. J. Algebra 178, 581–613 (1995)
2. Ballester-Bolinches, A., Cosme Llópez, E., Esteban-Romero, R., Rutten, J.: Formations of monoids, congruences, and formal languages. Sci. Ann. Comput. Sci. 25, 171–209 (2015)
3. Ballester-Bolinches, A., Cosme Llópez, E., Esteban-Romero, R., Rutten, J.: Errata to “Formations of monoids, congruences, and formal languages’’. Sci. Ann. Comput. Sci. 16, 123–124 (2016)
4. Ballester-Bolinches, A., Ezquerro, L.M.: Classes of Finite Groups, Mathematics and Its Applications, vol. 584. Springer, Dordrecht (2006)
5. Ballester-Bolinches, A., Pin, J.-É., Soler-Escrivà, X.: Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited. Forum Math. 26(6), 1737–1761 (2014)