Text this: Defining relations and algorithmic problems for groups and semigroups /