1. The algorithmic unsolvability of checking certain properties of groups (in Russian);Adjan;Dokl. Akad. Nauk SSSR,1955
2. Topologie I;Alexandroff,1935
3. The Design and Analysis of Computer Algorithms;Aho,1974
4. Combinatorial 3-manifolds with few vertices;Altshuler;J. Combinatorial Theory Ser. A,1973
5. A peculiar triangulation of the 3-sphere;Altshuler;Proc. Amer. Math. Soc.,1976