1. A. A. Markov, "Impossibility of algorithms recognizing certain properties of associative systems," Dokl. Akad. Nauk SSSR,77, No. 6, 953–956 (1951).
2. S. I. Adyan, "Unsolvability of certain algorithmic problems in the theory of groups," Trudy Moskov. Matem. Ob-va,6, 231–298 (1957).
3. M. Rabin, "Recursive unsolvability of group theoretic problems," Ann. of Math.,67, 172–194 (1958).
4. N. Jacobson, The Structure of Rings [Russian translation], Mir, Moscow (1961).
5. A. I. Zhukov, "Reduced systems of defining relations in nonassociative algebras," Matem. Sb.,27, 267–280 (1950).