Vitalsource Technologies, Inc. C*-Algebras and Mathematical Foundations of Quantum Statistical Mechanics