Vitalsource Technologies, Inc. Introduction to Semiclassical and Microlocal Analysis