Semigroups with a Context-Free Word Problem. - Michael Hoffmann 002; Derek F. Holt; Matthew D. Owens; Richard M. Thomas (Developments in Language Theory, 2012)