Diekert, et al.. Geodesic Rewriting Systems and Pregroups. Birkhäuser Basel, 2010, doi:10.1007/978-3-7643-9911-5_3.