---
title: "Bibliography"
canonical: "https://docs.magma-maths.org/FinitelyPresentedGroups/MonoidsGivenByRewriteSystems/bibliography.html"
source: "https://docs.magma-maths.org/FinitelyPresentedGroups/MonoidsGivenByRewriteSystems/bibliography.md"
part: "Finitely Presented Groups"
chapter: "Monoids Given by Rewrite Systems"
breadcrumbs:
  - {"title": "Magma Handbook", "source": "../../index.md"}
  - {"title": "Finitely Presented Groups", "source": "../index-finitely-presented-groups.md"}
  - {"title": "Monoids Given by Rewrite Systems", "source": "index-monoids-given-by-rewrite-systems.md"}
prev: {"title": "Conversion to a Finitely Presented Monoid", "source": "conversion.md"}
next: {"title": "Algebras", "source": "../../Algebras/index-algebras.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.