@manual{ AutoDoc,
  author =           {Gutsche, S. and Horn, M.},
  title =            {{AutoDoc - Generate documentation from GAP source code
                      (Version 2017.09.15)}},
  year =             {2017},
  note =             {GAP                   package,                   \href
                      {https://github.com/gap-packages/AutoDoc}
                      {\texttt{https://github.com/}\discretionary
                      {}{}{}\texttt{gap-packages/}\discretionary
                      {}{}{}\texttt{AutoDoc}}},
  printedkey =       {GH17}
}
@manual{ GAPDoc,
  author =           {L{\"u}beck, F. and Neunh{\"o}ffer, M.},
  title =            {{GAPDoc (version 1.6)}},
  organization =     {RWTH Aachen},
  year =             {2017},
  note =             {GAP                   package,                   \href
                      {https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html}
                      {\texttt{https://www.math.rwth-aachen.de/}\discretionary
                      {}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\discretionary
                      {}{}{}\texttt{gap/}\discretionary
                      {}{}{}\texttt{GAPDoc/}\discretionary
                      {}{}{}\texttt{index.html}}},
  printedkey =       {LN17}
}
@manual{ GitHubPagesForGAP,
  author =           {Horn, M.},
  title =            {{GitHubPagesForGAP  - Template for easily using GitHub
                      Pages within GAP packages (Version 0.2)}},
  year =             {2017},
  note =             {GAP                   package,                   \href
                      {https://gap-system.github.io/GitHubPagesForGAP/}
                      {\texttt{https://gap-system.github.io/}\discretionary
                      {}{}{}\texttt{GitHubPagesForGAP/}}},
  printedkey =       {Hor17}
}
@article{ BrHe,
  author =           {Brown, R. and Heyworth, A.},
  title =            {Using rewriting systems to compute left Kan extensions
                      and induced actions of categories},
  journal =          {J. Symbolic Comput.},
  volume =           {29},
  year =             {2000},
  pages =            {5{\textendash}31},
  printedkey =       {BH00}
}
@article{ BrGhHeWe,
  author =           {Brown,  R. and Ghani, N. and Heyworth, A. and Wensley,
                      C. D.},
  title =            {String rewriting systems for double coset systems},
  journal =          {J. Symbolic Comput.},
  volume =           {41},
  year =             {2006},
  pages =            {573{\textendash}590},
  printedkey =       {BGHW06}
}
@phdthesis{ anne-thesis,
  author =           {Heyworth, A.},
  title =            {Applications  of  {R}ewriting {S}ystems and {G}roebner
                      Bases    to   {C}omputing   {K}an   {E}xtensions   and
                      {I}dentities {A}mong {R}elations},
  school =           {University of Wales, Bangor},
  year =             {1999},
  note =             {\href
                      {https://www.researchgate.net/profile/Anne-Heyworth/research}
                      {\texttt{https://www.researchgate.net/}\discretionary
                      {}{}{}\texttt{profile/}\discretionary
                      {}{}{}\texttt{Anne-Heyworth/}\discretionary
                      {}{}{}\texttt{research}}},
  printedkey =       {Hey99}
}
@article{ SteveL,
  author =           {Linton, S.},
  title =            {Double coset enumeration},
  journal =          {J. Symbolic Comput.},
  volume =           {12},
  year =             {1991},
  pages =            {415{\textendash}426},
  printedkey =       {Lin91}
}