On Deciding Whether a Monoid is a Free Monoid or is a Group.

Friedrich Otto On Deciding Whether a Monoid is a Free Monoid or is a Group. 99-110 1986 23 Acta Inf. 1 db/journals/acta/acta23.html#Otto86