  
  
  [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.
  
  [[20XGH17[120X]  [16XGutsche,  S. and Horn, M.[116X, [17XAutoDoc - Generate documentation from GAP
  source    code    (Version    2017.09.15)[117X    (2017),    ((    GAP   package,
  https://github.com/gap-packages/AutoDoc )).
  
  [[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 )).
  
  [[20XHor17[120X] [16XHorn, M.[116X, [17XGitHubPagesForGAP - Template for easily using GitHub Pages
  within    GAP    packages    (Version   0.2)[117X   (2017),   ((   GAP   package,
  https://gap-system.github.io/GitHubPagesForGAP/ )).
  
  [[20XLin91[120X]  [16XLinton,  S.[116X,  [17XDouble  coset  enumeration[117X,  [18XJ.  Symbolic Comput.[118X, [19X12[119X
  (1991), 415–426.
  
  [[20XLN17[120X]  [16XLübeck,  F.  and  Neunhöffer,  M.[116X, [17XGAPDoc (version 1.6)[117X, RWTH Aachen
  (2017),                   ((                   GAP                  package,
  http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html )).
  
  
  
  [32X
