K. Asada and D. Fujiwara, On some oscillatory integral transformations in L 2 (R n ), Japan. J. Math. (N.S.), vol.4, pp.299-361, 1978.

J. Bony, Sur l'ingalit de Fefferman-Phong, Smin. qu. Driv. Partielles, cole Polytech, 1999.

A. Boulkhemair, precisees pour des integrales oscillantes, Communications in Partial Differential Equations, vol.116, issue.1-2, pp.165-184, 1997.
DOI : 10.1215/S0012-7094-82-04925-0

J. Chazarain and A. Piriou, Introduction to the Theory of Linear Partial Differential Equations, 1982.

M. V. De-hoop, Microlocal analysis of seismic inverse scattering, Inside Out, Inverse Problems and Applications, 2004.

M. V. De-hoop and A. T. De-hoop, Elastic wave up/down decomposition in inhomogeneous and anisotropic media: an operator approach and its approximations, Wave Motion, vol.20, issue.1, pp.57-82, 1994.
DOI : 10.1016/0165-2125(94)90032-9

M. V. De-hoop, J. L. Rousseau, and B. Biondi, Symplectic structure of wave-equation imaging: a path-integral approach based on the double-square-root equation, Geophysical Journal International, vol.153, issue.1, pp.52-74, 2003.
DOI : 10.1046/j.1365-246X.2003.01877.x

M. V. De-hoop, J. L. Rousseau, and R. Wu, Generalization of the phase-screen approximation for the scattering of acoustic waves, Wave Motion, vol.31, issue.1, pp.43-70, 2000.
DOI : 10.1016/S0165-2125(99)00026-8

K. Engel and R. Nagel, One-parameter semigroups for linear evolution equations, Semigroup Forum, vol.63, issue.2, 1999.
DOI : 10.1007/s002330010042

D. Fujiwara and N. Kumano-go, Smooth functional derivatives in Feynman path integrals by time slicing approximation, Bulletin des Sciences Math??matiques, vol.129, issue.1, pp.57-79, 2005.
DOI : 10.1016/j.bulsci.2004.09.003

L. Hörmander, Fourier integral operators. I, Acta Mathematica, vol.127, issue.0, pp.79-183, 1971.
DOI : 10.1007/BF02392052

L. Hörmander, L2 estimates for Fourier integral operators with complex phase, Arkiv f??r Matematik, vol.21, issue.1-2, pp.283-307, 1983.
DOI : 10.1007/BF02384316

L. Hörmander, The Analysis of Linear Partial Differential Operators, volume IV, 1985.

L. Hörmander, The Analysis of Linear Partial Differential Operators, volume III, 1985.

L. Hörmander, The Analysis of Linear Partial Differential Operators, volume I, 1990.

T. Ichinose and H. Tamura, Note on the Norm Convergence of the Unitary Trotter Product Formula, Letters in Mathematical Physics, vol.10, issue.1, pp.65-81, 2004.
DOI : 10.1007/s11005-004-3760-2

T. Kato, Linear evolution equations of ``hyperbolic'' type, II, Journal of the Mathematical Society of Japan, vol.25, issue.4, pp.241-258, 1970.
DOI : 10.2969/jmsj/02540648

T. Kato, Perturbation Theory for Linear Operators, 1980.

H. Kitada and H. Kumano-go, A family of Fourier integral operators and the fundamental solultion for a Schrödinger equation, Osaka J. Math, vol.18, pp.291-360, 1981.

H. Kumano-go, Algebras of pseudo-differential operators, J. Fac. Sci. Univ. Tokyo, vol.7, pp.31-50, 1970.

H. Kumano-go, and the fundamental solution for an operator of hyperbolic type, Communications in Partial Differential Equations, vol.51, issue.1, pp.1-44, 1976.
DOI : 10.1080/03605307608820002

H. Kumano-go and K. Taniguchi, Fourier integral operators of multi-phase and the fundamental solution for a hyperbolic system, Funkcialaj Ekvacioj, vol.22, pp.161-196, 1979.

H. Kumano-go, K. Taniguchi, and Y. Tozaki, Multi???products ofphase functions for fourier integral opertaors with an application, Communications in Partial Differential Equations, vol.21, issue.4, pp.349-380, 1978.
DOI : 10.1080/03605307808820069

N. Kumano-go, Feynman path integrals as analysis on path space by time slicing approximation, Bulletin des Sciences Math??matiques, vol.128, issue.3, pp.197-251, 2004.
DOI : 10.1016/j.bulsci.2004.01.002

P. D. Lax and L. Nirenberg, On stability for difference schemes; a sharp form of g??rding's inequality, Communications on Pure and Applied Mathematics, vol.17, issue.4, pp.473-492, 1966.
DOI : 10.1002/cpa.3160190409

J. and L. Rousseau, Fourier-Integral-Operator Approximation of Solutions to First-Order Hyperbolic Pseudodifferential Equations I: Convergence in Sobolev Spaces, Communications in Partial Differential Equations, vol.43, issue.6, pp.867-906, 2006.
DOI : 10.1002/cpa.3160280403

URL : https://hal.archives-ouvertes.fr/hal-00003815

J. and L. Rousseau, On the convergence of some products of Fourier integral operators, Asymptotic Anal, vol.51, pp.189-207, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00019924

J. , L. Rousseau, and M. V. De-hoop, Generalized-screen approximation and algorithm for the scattering of elastic waves, Q. J. Mech. Appl. Math, vol.56, pp.1-33, 2003.

J. , L. Rousseau, and G. Hörmann, Fourier-integral-operator approximation of solutions to pseudodifferential first-order hyperbolic equations II: microlocal analysis, J. Math. Pures Appl, vol.86, pp.403-426, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00005759

G. Métivier and K. Zumbrun, Hyperbolic boundary value problems for symmetric systems with variable multiplicities, Journal of Differential Equations, vol.211, issue.1, pp.61-134, 2005.
DOI : 10.1016/j.jde.2004.06.002

A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, 1983.
DOI : 10.1007/978-1-4612-5561-1

M. Ruzhansky and M. Sugimoto, -Boundedness Theorems for a Class of Fourier Integral Operators, Communications in Partial Differential Equations, vol.7, issue.4, pp.547-569, 2006.
DOI : 10.1006/jfan.2001.3863

C. C. Stolk, A pseudodifferential equation with damping for one-way wave propagation in inhomogeneous acoustic media, Wave Motion, vol.40, issue.2, pp.111-121, 2004.
DOI : 10.1016/j.wavemoti.2003.12.016

URL : https://hal.archives-ouvertes.fr/hal-00121994

C. C. Stolk, Parametrix for a hyperbolic intial value problem with dissipation in some region, Asymptotic Anal, vol.43, issue.12, pp.151-169, 2005.

C. C. Stolk and M. V. De-hoop, Microlocal analysis of seismic inverse scattering in anisotropic elastic media, Communications on Pure and Applied Mathematics, vol.2, issue.3, pp.261-301, 2002.
DOI : 10.1002/cpa.10019

M. E. Taylor, Pseudodifferential Operators, 1981.
DOI : 10.1007/978-1-4419-7052-7_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.4597

R. Vaillancourt, A simple proof of lax-nirenberg theorems, Communications on Pure and Applied Mathematics, vol.10, issue.2, pp.151-163, 1970.
DOI : 10.1002/cpa.3160230203