Malheiro, A. Presentations and complete rewriting systems for semigroups. (in Portuguese). Eds. G. M. S. Gomes. Faculty of Sciences of the University of Lisbon. Lisbon: University of Lisbon, 2001.