lainons,
I'm hunting for a deece reference text on combinatorial group theory, particularly regarding the word problem. I'm reading Vladimir Shpilrain's Non-Commutative Cryptography and Complexity of Group Theoretic Problems and am interested in attempting some implementations of discussed theoretical cryptosystems from this monograph, but want a better reference on the way there since my base in group theory needs some refreshing and additional work regarding the word problem itself. Any help is much appreciated!