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