Vitalsource Technologies, Inc. A Cp-theory Problem Book