Algorithmic Problems in Groups and Semi groups - Birget, J.C…etal (Birkhauswer, 2000)