Vitalsource Technologies, Inc. Formal Specification