Describir: The theory of finitely generated commutative semigroups /