I am trying to introduce myself into Microlocal Analysis. In particular, motivated by some results in Inverse Problems, I would like to find good references for the microlocal versions of Helgason and Holmgren theorems, and also for the so-called Kashiwara's watermelon theorem.
Ultimately, I am interested in understanding injectivity for Radon transform with limited angle.
I am reading Hörmander's classic and a couple of papers by Jan Boman.
However still, I wonder whether there is something (like some lecture notes, or some modern book) more up-to-date where all these ideas had been written down more pedagogically.
Thanks for any help you may provide