1. Algorithmic unsolvability of recognition problems of certain properties of groups;Adian;Dokl. Akad. Nauk SSSR,1955
2. Algorithmic problems for groups and semigroups;Adian;Uspekhi Mat. Nauk,2000
3. Train-tracks for surface homeomorphisms;Bestvina;Topology,1995
4. On the recursively unsolvable problems in topology and their classification;Boone,1968
5. Simple examples of groups with unsolvable word problems;Borisov;Mat. Zametki,1969