Microlocal energy methods and pseudo-differential operators. Kiyômi Kataoka — 1985 Inventiones mathematicae