Vodev, G. Semi-Classical Propagation of Singularities on Riemannian Manifolds Without Boundary and Applications. CUBO 2003, 5, 306-329.