1. Some algorithmic problems for finitely defined commutative semigroups;Biryukov;Siberian Math. J.,1967
2. The Algebraic Theory of Semigroups;Clifford;Math. Surveys of the Amer. Math. Soc. 7,1967
3. Rédei's finiteness theorem for commutative semigroups;Freyd,1968
4. Presentations of Groups;Johnson,1976