https://filesoo.com/product/5411/classical-microlocal-analysis-in-the-space-of-hyperfunctions