Swart, T. and Rousse, V. (2009) A Mathematical Justification for the Herman-Kluk Propagator. Comm. Math. Phys., 286 (2). pp. 725-750.