1. Novikov P.S. "On the algorithmic unsolvability of the word problem in group theory", Trudy Mat. Inst. Steklov 44, 3-143 (1955).
2. Boone W.W. "The world problem", Ann. Math. 70 (2), 207-265 (1959).
3. Markov A.A. "Insolubility of the problem of homeomorphy", Dokl. Akad. Nauk SSSR 121 (2), 218-220 (1958).
4. Matiyasevich Yu.V. "The Diophantineness of enumerable sets", Dokl. Akad. Nauk SSSR 191 (2), 279-282 (1970).
5. Cook S.A. "The complexity of theorem-proving procedures", Proc. Third Annual ACM Symposium on Theory of Comput., 151-158 (1971).