"Monoid presentations of groups by finite special string-rewriting systems."

Duncan W. Parkes, V. Yu. Shavrukov, Richard M. Thomas (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics