Malheiro, A. "Finite derivation type for Rees matrix semigroups." Theor. Comput. Sci.. 355 (2006): 274-290.