  
  
  [1XReferences[0X
  
  [[20XBGHW06[15X]  [16XBrown,  R., Ghani, N., Heyworth, A. and Wensley, C. D.[15X, [17XString
  rewriting  systems  for  double  coset  systems[15X, [18XJ. Symbolic Comput.[15X, [19X41[15X
  (2006), 573--590.
  
  [[20XBH00[15X]  [16XBrown,  R.  and Heyworth, A.[15X, [17XUsing rewriting systems to compute
  left  Kan  extensions  and  induced  actions  of categories[15X, [18XJ. Symbolic
  Comput.[15X, [19X29[15X (2000), 5--31.
  
  [[20XHey99[15X]  [16XHeyworth,  A.[15X,  [17XApplications  of Rewriting Systems and Groebner
  Bases  to  Computing  Kan  Extensions  and  Identities  Among Relations[15X,
  Ph.{D}.~thesis, University of Wales, Bangor (1999).
  
  [[20XLin91[15X]  [16XLinton,  S.[15X,  [17XDouble coset enumeration[15X, [18XJ. Symbolic Comput.[15X, [19X12[15X
  (1991), 415--426.
  
  
  
  -------------------------------------------------------
