On Deciding whether a monoid is a free monoid or is a group. - Otto, Friedrich (Fachbereich Informatik, Univ.Kaiserslautern. Interner Bericht, 1985)