Vitalsource Technologies, Inc. Analysis of Linear Partial Differential Operators IV: Fourier Integral Operators