Microlocal analysis for differential operators : an introduction /
Grigis, Alain.
Sjöstrand, Johannes.
Cambridge : Cambridge University Press,
1994.