An introduction to semiclassical and microlocal analysis. - Springer Verlag, 2002. - ( Universitext ).