Friedrich Otto Andrea Sattler-Klein Klaus Madlener Automatic Monoids Versus Monoids with Finite Convergent Presentations. 32-46 http://dx.doi.org/10.1007/BFb0052359 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#OttoSM98