1. Kourovska Notebook [in Russian], Novosibirsk (1973).
2. A. A. Markov, "The theory of algorithms," Tr. Mat. Inst. Akad. Nauk SSSR, Izd. Akad. Nauk SSSR,42, Moscow (1954).
3. P. S. Novikov, "On the algorithmic unsolvability of the word problem in theory of groups," Tr. Mat. Inst. Akad. Nauk SSSR, Izd. Akad. Nauk SSSR,44, Moscow (1955).
4. E. L. Post, "Recursive unsolvability of a problem of Thue," J. Symb. Logic,12, No. 1, 1–11 (1947).