Vitalsource Technologies, Inc. Formal Models In The Study Of Language