1. An Introduction to Gröbner Bases;Adams,1994
2. Algorithmic undecibility of certain decision problems of the group theory;Adjan;Trudy Moscow Mat. Ob.,1957
3. Theorie der Zöpf;Artin;Abh. Math. Sem. Univ. Hamburg,1925
4. Theory of braids;Artin;Ann. of Math.,1947
5. The diamond lemma for ring theory;Bergmann;Adv. Math.,1978