References
  
  [BGHW06]  Brown,  R., Ghani, N., Heyworth, A. and Wensley, C. D., String
  rewriting  systems  for  double  coset  systems, J. Symbolic Comput., 41
  (2006), 573--590.
  
  [BH00]  Brown,  R.  and Heyworth, A., Using rewriting systems to compute
  left  Kan  extensions  and  induced  actions  of categories, J. Symbolic
  Comput., 29 (2000), 5--31.
  
  [Hey99]  Heyworth,  A.,  Applications  of Rewriting Systems and Groebner
  Bases  to  Computing  Kan  Extensions  and  Identities  Among Relations,
  Ph.{D}.~thesis, University of Wales, Bangor (1999).
  
  [Lin91]  Linton,  S.,  Double coset enumeration, J. Symbolic Comput., 12
  (1991), 415--426.
  
  
  
  -------------------------------------------------------