---
title: "Bibliography"
canonical: "https://docs.magma-maths.org/FinitelyPresentedGroups/GroupsDefinedByRewriteSystems/bibliography.html"
source: "https://docs.magma-maths.org/FinitelyPresentedGroups/GroupsDefinedByRewriteSystems/bibliography.md"
part: "Finitely Presented Groups"
chapter: "Groups Defined by Rewrite Systems"
breadcrumbs:
  - {"title": "Magma Handbook", "source": "../../index.md"}
  - {"title": "Finitely Presented Groups", "source": "../index-finitely-presented-groups.md"}
  - {"title": "Groups Defined by Rewrite Systems", "source": "index-groups-defined-by-rewrite-systems.md"}
prev: {"title": "Conversion to a Finitely Presented Group", "source": "conversion.md"}
next: {"title": "Automatic and Hyperbolic Groups", "source": "../AutomaticAndHyperbolicGroups/index-automatic-and-hyperbolic-groups.md"}
---

# Bibliography

<a id="cite-kbmag"></a>
- **[Hol97]** Derek Holt. *KBMAG – Knuth-Bendix in Monoids and Automatic Groups*. University of Warwick, 1997.
<a id="cite-sims-fpgroups"></a>
- **[Sim94]** Charles C. Sims. *Computation with Finitely Presented Groups*. Cambridge University Press, Cambridge, 1994. ISBN 0-521-43213-8.