\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{Maz78}

\bibitem[Cre97]{cremona:algs}
J.\thinspace{}E. Cremona, \emph{Algorithms for modular elliptic curves}, second
  ed., Cambridge University Press, Cambridge, 1997.

\bibitem[Gro91]{gross:kolyvagin}
B.\thinspace{}H. Gross, \emph{Kolyvagin's work on modular elliptic curves},
  $L$-functions and arithmetic (Durham, 1989), Cambridge Univ. Press,
  Cambridge, 1991, pp.~235--256.

\bibitem[GZ86]{gross-zagier}
B.~Gross and D.~Zagier, \emph{Heegner points and derivatives of
  \protect{${L}$}-series}, Invent. Math. \textbf{84} (1986), no.~2, 225--320.
  \MR{87j:11057}

\bibitem[Kol90]{kolyvagin:euler_systems}
V.~A. Kolyvagin, \emph{Euler systems}, The Grothendieck Festschrift, Vol.\ II,
  Birkh\"auser Boston, Boston, MA, 1990, pp.~435--483. \MR{92g:11109}

\bibitem[Maz78]{mazur:rational}
B.~Mazur, \emph{Rational isogenies of prime degree (with an appendix by {D}.
  {G}oldfeld)}, Invent. Math. \textbf{44} (1978), no.~2, 129--162.

\bibitem[Rub91]{rubin:main-conjectures}
K.~Rubin, \emph{The ``main conjectures'' of {I}wasawa theory for imaginary
  quadratic fields}, Invent. Math. \textbf{103} (1991), no.~1, 25--68.
  \MR{92f:11151}

\bibitem[Ser72]{serre:propgal}
J-P. Serre, \emph{Propri\'et\'es galoisiennes des points d'ordre fini des
  courbes elliptiques}, Invent. Math. \textbf{15} (1972), no.~4, 259--331.

\bibitem[Sil92]{silverman:aec}
J.\thinspace{}H. Silverman, \emph{The arithmetic of elliptic curves},
  Springer-Verlag, New York, 1992, Corrected reprint of the 1986 original.

\end{thebibliography}