SMS: Classical microlocal analysis in the space of hyperfunctions / Seiichiro Wakabayashi.