Microlocal analysis and nonlinear waves - Melrose, Richard B.; Rauch, Jeffrey (IMA volumes in mathematics and its applications, 1991)