Some remarks on finitely presented monoids with automatic structure - Otto, Friedrich; Sattler-Klein, Andrea (GhK, 1997)
Literaturverz. S. 19 - 21