Review of MR2544756 Vasy, András, Wunsch, Jared, Semiclassical second microlocal propagation of regularity and integrable systems. J. Anal. Math. 108, 119–157 (2009).