"Decision Problems in Algebra: Word Problems: Working Conference Proceedings " - читать интересную книгу автора (S. I. Adian, W. W. Boone, G. Higman)