Vitalsource Technologies, Inc. Logics Of Specification Languages