Vitalsource Technologies, Inc. A Course In Formal Languages, Automata And Groups