The theory of finitely generated commutative semigroups. - Redei, Laszlo