@article{BrHe,
    AUTHOR = "Brown, Ronald and Heyworth, Anne",
     TITLE = "Using rewriting systems to compute left Kan extensions and induced actions of categories",
  journal     = "J. Symbolic Comput.",
  fjournal    = "Journal of Symbolic Computation",
  volume      = "29",
  year        = "2000",
  pages       = "5--31",
}

@article{BrGhHeWe,
    AUTHOR = "Brown, Ronald and Ghani, Neil and Heyworth, Anne and Wensley, Christopher D.",
     TITLE = "String rewriting systems for double coset systems",
  journal     = "J. Symbolic Comput.",
  fjournal    = "Journal of Symbolic Computation",
  volume      = "41",
  year        = "2006",
  pages       = "573--590",
}

@phdthesis{anne-thesis,
author             = "Heyworth, Anne",
title              = "Applications of Rewriting Systems and {G}roebner Bases to Computing {K}an Extensions and Identities Among Relations",
type               = "Ph.{D}.~thesis",
year               = "1999",
school             = "University of Wales, Bangor",
}

@article{SteveL,
    AUTHOR = "Linton, Steve",
     TITLE = "Double coset enumeration",
  journal     = "J. Symbolic Comput.",
  fjournal    = "Journal of Symbolic Computation",
  volume      = "12",
  year        = "1991",
  pages       = "415--426",
}