Text this: The theory of finitely generated commutative semigroups /