1. ADDISON, J., On some points of the theory of recursive functions, Dissertation, University of Wisconsin, 1954.
2. The algortihmic unsolvability of checking certain properties of groups;Adjan;Dokl. Akad. Nauk SSSR,1955
3. Some unsolvable problems about elements and subgroups of groups;Baumslag;Math. Scand.,1959
4. A alternative proof that 3-manifolds can be triangulated;Bing;Ann. Math.,1959
5. The word problem;Boone;Ann. Math.,1959