\begin{thebibliography}{1}

\bibitem{ha:vsp}
William~S. Harlan.
\newblock Separation of signal and noise applied to vertical seismic profiles.
\newblock {\em Geophysics}, 53(7):932--946, 1988.

\bibitem{hughes}
Thomas J.~R. Hughes.
\newblock {\em The Finite Element Method: Linear Static and Dynamic Finite
  Element Analysis}.
\newblock Dover Publications Inc., 2000.

\bibitem{lions}
J.L. Lions.
\newblock {\em Optimal Control of Systems Governed by Partial Differential
  Equations}.
\newblock Springer-Verlag, 1971.

\end{thebibliography}
