Oh my god. I actually have to solve the word problem in a group.
I never expected my master's dissertation to be useful!
(available at somethingorotherwhatever.com/old/the%20word… if you're interested)