1. L. Hörmander, The Analysis of Linear Partial Differential Operators, I, II; III, IV, Grundlehren Math. Wiss. 256, 257; 274, 275, Springer, Berlin, 1983; 1985., ;,
2. V. I. Arnold, Mathematical Methods of Classical Mechanics, Grad. Texts in Math. 60, Springer, New York, 1978.
3. D. Bambusi, S. Graffi, and T. Paul, Long time semiclassical approximation of quantum flows: A proof of the Ehrenfest time, Asymptot. Anal. 21 (1999), 149--160.
4. R. Beals, ``Propagation de singularités pour les opérateurs du type $D_t^2 - \square_b$'' in Journées ``Équations aux dérivées partielles'' (Saint-Jean-de-Monts, France, 1980), Soc. Math. France, Montrouge, 1980, conf. no. 19.
5. F. Bonechi and S. De Bièvre, Exponential mixing and $\vert\ln\hbar\vert$ time scales in quantized hyperbolic maps on the torus, Comm. Math. Phys. 211 (2000), 659--686.