Microlocal Methods in Mathematical Physics and Global Analysis - Grieser, Daniel (Springer Basel, 2013)