Vitalsource Technologies, Inc. Theoretical Aspects Of Computing Ictac 2017