Araújo, J., and A. Malheiro. "On finite complete presentations and exact decompositions of semigroups." Commun. Algebra. 39 (2011): 3866-3878.