Vitalsource Technologies, Inc. Advances in the Theory of Varieties of Semigroups