On the algorithmic unsolvability of the word problem (1955)

by P S Novikov
Venue:in group theory, Dokl. Akad. Nauk SSSR Mathematiceskii Institut Trudy