"Word problems: Decision problems and the Burnside problem in group theory" - читать интересную книгу автора (Lev D. Beklemishev)