Vodev, G. 2003. Semi-Classical Propagation of Singularities on Riemannian Manifolds without Boundary and Applications. CUBO, A Mathematical Journal. 5, 3 (Oct. 2003), 306–329.