  
  
  [1XReferences[101X
  
  [[20XBGHW06[120X]  [16XBrown,  R.,  Ghani,  N.,  Heyworth,  A. and Wensley, C. D.[116X, [17XString
  rewriting  systems for double coset systems[117X, [18XJ. Symbolic Comput.[118X, [19X41[119X (2006),
  573–590.
  
  [[20XBH00[120X]  [16XBrown,  R. and Heyworth, A.[116X, [17XUsing rewriting systems to compute left
  Kan  extensions  and  induced actions of categories[117X, [18XJ. Symbolic Comput.[118X, [19X29[119X
  (2000), 5–31.
  
  [[20XHey99[120X]  [16XHeyworth,  A.[116X, [17XApplications of Rewriting Systems and Groebner Bases
  to  Computing  Kan  Extensions and Identities Among Relations[117X, Ph.D. thesis,
  University         of         Wales,         Bangor        (1999),        ((
  http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz )).
  
  [[20XLin91[120X]  [16XLinton,  S.[116X,  [17XDouble  coset  enumeration[117X,  [18XJ.  Symbolic Comput.[118X, [19X12[119X
  (1991), 415–426.
  
  
  
  [32X
