Formal languages and the irreducible word problem in groups. - Amna Fonseca (2005)