An introduction to semiclassical and microlocal analysis - Martinez, Andre (Universitext, 2002)