Vitalsource Technologies, Inc. Fundamentals Of Algebraic Microlocal Analysis