Vitalsource Technologies, Inc. Theoretical Aspects Of Computing - Ictac 2008