1. Ronald Brown, Neil Ghani, Anne Heyworth, and Christopher D. Wensley, String rewriting for double coset systems, J. Symbolic Comput. 41 (2006), no. 5, 573–590.[MR/arXiv]