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

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

J. Duistermaat, Fourier integral operators, Birkhäuser, 1996.

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

W. Gautschi, Numerical analysis: an introduction, Birkhäuser, 1997.
DOI : 10.1007/978-0-8176-8259-0

E. Hairer, C. Lubich, and G. Wanner, Geometric Numerical Integration , Structure-Preserving Algorithms for Ordinary Differential Equations, 2002.

E. Hairer, S. Nørsett, and G. Wanner, Solving Ordinary differential equations I: nonstiff problems, 1993.
DOI : 10.1007/978-3-662-12607-3

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

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.

J. and L. Rousseau, Fourier-integral-operator approximation of solutions to pseudodifferential first-order hyperbolic equations I: convergence in Sobolev spaces. preprint, LATP, Université d, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00003815

A. Melin and J. Sjöstrand, Fourier integral operators with complex-valued phase functions, pp.120-223, 1974.
DOI : 10.1007/BF01350124

A. Melin and J. Sjöstrand, Fourier integral operators with complex phase functions and parametrix for an interior boundary value problem, Communications in Partial Differential Equations, vol.130, issue.1973, pp.313-400, 1976.
DOI : 10.1080/03605307608820014

C. Stolk, Microlocal analysis of a seismic linearized inverse problem, Wave Motion, vol.32, issue.3, pp.267-290, 2000.
DOI : 10.1016/S0165-2125(00)00043-3

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. Stolk, Parametrix for a hyperbolic intial value problem with dissipation in some region, Asymptotic Analysis, vol.43, issue.12, pp.151-169, 2005.

C. Stolk and M. D. Hoop, Seismic inverse scattering in the downward continuation approach, Wave Motion, vol.43, issue.7, 2002.
DOI : 10.1016/j.wavemoti.2006.05.003

C. Stolk and M. D. Hoop, Modeling of Seismic Data in the Downward Continuation Approach, SIAM Journal on Applied Mathematics, vol.65, issue.4, pp.1388-1406, 2005.
DOI : 10.1137/S0036139904439545

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, Reflection of singularities of solutions to systems of differential equations, Communications on Pure and Applied Mathematics, vol.189, issue.4, pp.457-478, 1975.
DOI : 10.1002/cpa.3160280403

F. Treves, Topological vector spaces, distributions and kernels, 1967.

F. Treves, Introduction to pseudodifferential and Fourier integral operators Fourier Integral Operators, 1980.
DOI : 10.1007/978-1-4684-8780-0