Hormander, Lars The Analysis of Linear Partial Differential Operators : vol 4 : Fourier Integral Operators Lars Hormander - Berlin, Heidelberg Springer 1983