Vitalsource Technologies, Inc. Recursion Theory