Microlocal analysis and applications. - Bony, J. M. (Berlin Springer-Verlag, 1991)