Vitalsource Technologies, Inc. Theory Of Finitely Generated Commutative Semigroups