Vitalsource Technologies, Inc. Formal Languages And Compilation