Can anyone suggest good (a) uses/applications or (b) construction of micro-functions (introduced by Mikio Sato in 1971) in analysis?
I am trying to understand the subject better. Suggestions of literature are very welcome, but also, how would one present the basic concept as concisely as possible if one had to?
BTW, the best I've found so far for (b) is Masaki Kashiwara's 1978 lecture titled Micro-Local Analysis at the International Congress of Mathematicians. (Paper was published in 1980.)