\newcommand{\etalchar}[1]{$^{#1}$}
\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}{BCDT01}

\bibitem[AS02]{agashe-stein:visibility}
A.~Agashe and W.~Stein, \emph{Visibility of {S}hafarevich-{T}ate groups of
  abelian varieties}, J. Number Theory \textbf{97} (2002), no.~1, 171--185.

\bibitem[AS05]{agashe-stein:bsd}
\bysame, \emph{Visible evidence for the {B}irch and {S}winnerton-{D}yer
  conjecture for modular abelian varieties of analytic rank zero}, Math. Comp.
  \textbf{74} (2005), no.~249, 455--484 (electronic), With an appendix by J.\
  Cremona and B.\ Mazur. \MR{2085902}

\bibitem[BC04]{buzzard-calegari:gm}
Kevin Buzzard and Frank Calegari, \emph{A counterexample to the
  {G}ouv\^ea-{M}azur conjecture}, C. R. Math. Acad. Sci. Paris \textbf{338}
  (2004), no.~10, 751--753. \MR{2059481 (2005g:11070)}

\bibitem[BCDT01]{breuil-conrad-diamond-taylor}
C.~Breuil, B.~Conrad, F.~Diamond, and R.~Taylor, \emph{On the modularity of
  elliptic curves over {$\mathbf{Q}$}: wild 3-adic exercises}, J. Amer. Math.
  Soc. \textbf{14} (2001), no.~4, 843--939 (electronic). \MR{2002d:11058}

\bibitem[Bir65]{birch:EDSAC}
B.~J. Birch, \emph{Conjectures concerning elliptic curves}, Proceedings of
  Symposia in Pure Mathematics, VIII, Amer. Math. Soc., Providence, R.I., 1965,
  pp.~106--112. \MR{30 \#4759}

\bibitem[Bir71]{birch:bsd}
B.\thinspace{}J. Birch, \emph{Elliptic curves over \protect{${\mathbf{Q}}$:
  {A}} progress report}, 1969 Number Theory Institute (Proc. Sympos. Pure
  Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), Amer. Math.
  Soc., Providence, R.I., 1971, pp.~396--400.

\bibitem[BK90]{bloch-kato}
S.~Bloch and K.~Kato, \emph{\protect{${L}$}-functions and \protect{T}amagawa
  numbers of motives}, The Grothendieck Festschrift, Vol. \protect{I},
  Birkh\"auser Boston, Boston, MA, 1990, pp.~333--400.

\bibitem[BLR90]{neronmodels}
S.~Bosch, W.~L{\"u}tkebohmert, and M.~Raynaud, \emph{N\'eron models},
  Springer-Verlag, Berlin, 1990. \MR{91i:14034}

\bibitem[BpR91]{boston-lenstra-ribet}
N.~Boston, \protect{H.\thinspace{}W. Lenstra, Jr.}, and K.\thinspace{}A. Ribet,
  \emph{Quotients of group rings arising from two-dimensional representations},
  C. R. Acad. Sci. Paris S\'er. I Math. \textbf{312} (1991), no.~4, 323--328.

\bibitem[Buz96]{buzzard:t2}
Kevin Buzzard, \emph{On the eigenvalues of the {H}ecke operator {$T\sb 2$}}, J.
  Number Theory \textbf{57} (1996), no.~1, 130--132. \MR{96m:11033}

\bibitem[CE98]{coleman-edixhoven}
R.\thinspace{}F. Coleman and B.~Edixhoven, \emph{On the semi-simplicity of the
  \protect{${U}\sb p$}-operator on modular forms}, Math. Ann. \textbf{310}
  (1998), no.~1, 119--127. \MR{99b:11043}

\bibitem[CF99]{conrey-farmer:nonvanish}
J.\thinspace{}B. Conrey and D.\thinspace{}W. Farmer, \emph{Hecke operators and
  the nonvanishing of {$L$}-functions}, Topics in number theory (University
  Park, PA, 1997), Math. Appl., vol. 467, Kluwer Acad. Publ., Dordrecht, 1999,
  pp.~143--150. \MR{2000f:11055}

\bibitem[CM98]{eigencurve}
R.~Coleman and B.~Mazur, \emph{The {E}igencurve}, Galois representations in
  arithmetic algebraic geometry (Durham, 1996), Cambridge Univ. Press,
  Cambridge, 1998, pp.~1--113. \MR{1 696 469}

\bibitem[CM00]{cremona-mazur}
J.\thinspace{}E. Cremona and B.~Mazur, \emph{Visualizing elements in the
  {S}hafarevich-{T}ate group}, Experiment. Math. \textbf{9} (2000), no.~1,
  13--28. \MR{1 758 797}

\bibitem[Con01]{conrad:shimura}
B.~Conrad, \emph{The shimura construction in weight 2 (appendix to
  {R}ibet-{S}tein, {L}ectures on {S}erre's {C}onjecture)}, Arithmetic algebraic
  geometry (Park City, UT, 1999), IAS/Park City Math. Ser., vol.~9, Amer. Math.
  Soc., Providence, RI, 2001, pp.~205--232. \MR{2002h:11047}

\bibitem[Con03]{conrad:eulerprod}
K.~Conrad, \emph{{P}artial {E}uler products on the critical line}, Preprint
  (2003).

\bibitem[Cp86]{cassels-frohlich}
J.\thinspace{}W.\thinspace{}S. Cassels and A.~\protect{Fr{\"o}hlich} (eds.),
  \emph{Algebraic number theory}, London, Academic Press Inc. [Harcourt Brace
  Jovanovich Publishers], 1986, Reprint of the 1967 original.

\bibitem[CR62]{curtis-reiner}
C.\thinspace{}W. Curtis and I.~Reiner, \emph{Representation theory of finite
  groups and associative algebras}, Interscience Publishers, a division of John
  Wiley \& Sons, New York-London, 1962, Pure and Applied Mathematics, Vol. XI.

\bibitem[Cre97]{cremona:algs}
J.\thinspace{}E. Cremona, \emph{Algorithms for modular elliptic curves}, second
  ed., Cambridge University Press, Cambridge, 1997, \mbox{}\\{\tt
  http://www.maths.nott.ac.uk/personal/jec/book/}.

\bibitem[CV92]{coleman-voloch}
R.\thinspace{}F. Coleman and J.\thinspace{}F. Voloch, \emph{Companion forms and
  \protect{K}odaira-\protect{S}pencer theory}, Invent. Math. \textbf{110}
  (1992), no.~2, 263--281.

\bibitem[DDT94]{ddt}
H.~Darmon, F.~Diamond, and R.~Taylor, \emph{Fermat's last theorem}, Current
  developments in mathematics, 1995 (Cambridge, MA), Internat. Press,
  Cambridge, MA, 1994, pp.~1--154.

\bibitem[DI95]{diamond-im}
F.~Diamond and J.~Im, \emph{Modular forms and modular curves}, Seminar on
  {F}ermat's {L}ast {T}heorem, Providence, RI, 1995, pp.~39--133.

\bibitem[DK73]{MR48:8389}
P.~Deligne and W.~Kuyk (eds.), \emph{Modular functions of one variable.
  {I}{I}}, Springer-Verlag, Berlin, 1973, Lecture Notes in Mathematics, Vol.
  349.

\bibitem[DK95]{diamond-kramer}
F.~Diamond and K.~Kramer, \emph{Modularity of a family of elliptic curves},
  Math. Res. Lett. \textbf{2} (1995), no.~3, 299--304.

\bibitem[DR73]{deligne-rapoport}
P.~Deligne and M.~Rapoport, \emph{Les sch\'emas de modules de courbes
  elliptiques}, Modular functions of one variable, II (Proc. Internat. Summer
  School, Univ. Antwerp, Antwerp, 1972) (Berlin), Springer, 1973, pp.~143--316.
  Lecture Notes in Math., Vol. 349.

\bibitem[DS05]{diamond-shurman}
Fred Diamond and Jerry Shurman, \emph{A first course in modular forms},
  Graduate Texts in Mathematics, vol. 228, Springer-Verlag, New York, 2005.

\bibitem[dSL97]{lenstra-smit:explicit}
B.~de~Smit and Jr. Lenstra, H.\thinspace{}W., \emph{Explicit construction of
  universal deformation rings}, Modular forms and \protect{F}ermat's last
  theorem (Boston, MA, 1995), Springer, New York, 1997, pp.~313--326.

\bibitem[Edi92a]{edixhoven:tame}
B.~Edixhoven, \emph{N\'eron models and tame ramification}, Compositio Math.
  \textbf{81} (1992), no.~3, 291--306. \MR{93a:14041}

\bibitem[Edi92b]{edixhoven:weight}
\bysame, \emph{The weight in \protect{S}erre's conjectures on modular forms},
  Invent. Math. \textbf{109} (1992), no.~3, 563--594.

\bibitem[Eis95]{eisenbud}
D.~Eisenbud, \emph{Commutative algebra with a view toward algebraic geometry},
  Springer-Verlag, New York, 1995. \MR{97a:13001}

\bibitem[Elk98]{elkies:ffield}
N.\thinspace{}D. Elkies, \emph{Elliptic and modular curves over finite fields
  and related computational issues}, Computational perspectives on number
  theory (Chicago, IL, 1995), Amer. Math. Soc., Providence, RI, 1998,
  pp.~21--76.

\bibitem[Ell02]{ellenberg:qcurves_survey}
J.~Ellenberg, \emph{$\q$-curves and {G}alois {R}epresentations}, {\tt
  http://www.math.princeton.edu/~ellenber/papers.html\#MCAV} (2002).

\bibitem[ES00]{ellenberg-skinner:modularity}
J.~Ellenberg and C.~Skinner, \emph{On the {M}odularity of {$\Q$}-curves}, {\tt
  http://www.math.princeton.edu/~ellenber/papers.html\#QCURVE} (2000).

\bibitem[FJ02]{farmer-james:maeda}
D.~W. Farmer and K.~James, \emph{The irreducibility of some level 1 {H}ecke
  polynomials}, Math. Comp. \textbf{71} (2002), no.~239, 1263--1270
  (electronic). \MR{2003e:11046}

\bibitem[FM99]{frey-muller}
G.~Frey and M.~M{\"u}ller, \emph{Arithmetic of modular curves and
  applications}, Algorithmic algebra and number theory (Heidelberg, 1997),
  Springer, Berlin, 1999, pp.~11--48.

\bibitem[FpS{\etalchar{+}}01]{empirical}
E.\thinspace{}V. Flynn, F.~\protect{Lepr\'{e}vost}, E.\thinspace{}F. Schaefer,
  W.\thinspace{}A. Stein, M.~Stoll, and J.\thinspace{}L. Wetherell,
  \emph{Empirical evidence for the {B}irch and {S}winnerton-{D}yer conjectures
  for modular {J}acobians of genus 2 curves}, Math. Comp. \textbf{70} (2001),
  no.~236, 1675--1697 (electronic). \MR{1 836 926}

\bibitem[Fr{\"o}67]{frohlich:local}
A.~Fr{\"o}hlich, \emph{Local fields}, Algebraic Number Theory (Proc.
  Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., 1967,
  pp.~1--41.

\bibitem[Ghi]{ghitza:maeda}
Alex Ghitza, \emph{Maeda's conjecture for weight up to 4096},
  \url{http://wstein.org/Tables/charpoly_level1/t2/ghitza.html}.

\bibitem[Gol82]{goldfeld:L1}
D.~Goldfeld, \emph{Sur les produits partiels eul\'eriens attach\'es aux courbes
  elliptiques}, C. R. Acad. Sci. Paris S\'er. I Math. \textbf{294} (1982),
  no.~14, 471--474. \MR{84d:14031}

\bibitem[Gro90]{gross:tameness}
B.\thinspace{}H. Gross, \emph{A tameness criterion for \protect{G}alois
  representations associated to modular forms (mod \protect{$p$})}, Duke Math.
  J. \textbf{61} (1990), no.~2, 445--517.

\bibitem[Gro91]{gross:kolyvagin}
\bysame, \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[Har77]{hartshorne}
R.~Hartshorne, \emph{Algebraic {G}eometry}, Springer-Verlag, New York, 1977,
  Graduate Texts in Mathematics, No. 52.

\bibitem[HH]{flint}
Bill Hart and David Harvey, \emph{Flint: Fast library for number theory},
  \url{http://www.flintlib.org/}.

\bibitem[Hid00]{hida:modularity}
H.~Hida, \emph{Modularity {P}roblems of {$\Q$}-{M}otives and {B}ase-{C}hange},
  Preprint, {\tt http://www.math.ucla.edu/~hida/} (2000).

\bibitem[Igu56]{igusa:fibre}
J.~Igusa, \emph{Fibre systems of \protect{J}acobian varieties}, Amer. J. Math.
  \textbf{78} (1956), 171--199.

\bibitem[Joc82]{jochnowitz:local}
N.~Jochnowitz, \emph{A study of the local components of the \protect{H}ecke
  algebra mod \protect{$\ell$}}, Trans. Amer. Math. Soc. \textbf{270} (1982),
  no.~1, 253--267.

\bibitem[Kat73]{katz:padicprop}
Nicholas~M. Katz, \emph{{$p$}-adic properties of modular schemes and modular
  forms}, Modular functions of one variable, III (Proc. Internat. Summer
  School, Univ. Antwerp, Antwerp, 1972), Springer, Berlin, 1973, pp.~69--190.
  Lecture Notes in Mathematics, Vol. 350. \MR{MR0447119 (56 \#5434)}

\bibitem[Kat81]{katz:st-local_moduli}
N.~Katz, \emph{Serre-{T}ate local moduli}, Algebraic surfaces ({O}rsay,
  1976--78), Lecture Notes in Math., vol. 868, Springer, Berlin, 1981,
  pp.~138--202. \MR{638600 (83k:14039b)}

\bibitem[KM85]{katzmazur}
N.\thinspace{}M. Katz and B.~Mazur, \emph{Arithmetic moduli of elliptic
  curves}, Princeton University Press, Princeton, N.J., 1985.

\bibitem[Kna92]{knapp:elliptic}
A.\thinspace{}W. Knapp, \emph{Elliptic curves}, Princeton University Press,
  Princeton, NJ, 1992.

\bibitem[Kol88a]{kolyvagin:subclass}
V.~A. Kolyvagin, \emph{Finiteness of ${E}(\mathbf{Q})$ and
  ${\Sha}({E},\mathbf{Q})$ for a subclass of {W}eil curves}, Izv. Akad. Nauk
  SSSR Ser. Mat. \textbf{52} (1988), no.~3, 522--540, 670--671. \MR{89m:11056}

\bibitem[Kol88b]{kolyvagin:weil}
\bysame, \emph{The {M}ordell-{W}eil and {S}hafarevich-{T}ate groups for {W}eil
  elliptic curves}, Izv. Akad. Nauk SSSR Ser. Mat. \textbf{52} (1988), no.~6,
  1154--1180, 1327. \MR{90f:11035}

\bibitem[KW08]{khare-wintenberger:serre1}
C.~Khare and J.-P. Wintenberger, \emph{Serre's modularity conjecture (i)},
  Preprint (2008).

\bibitem[Lan91]{lang:nt3}
S.~Lang, \emph{Number theory. {I}{I}{I}}, Springer-Verlag, Berlin, 1991,
  Diophantine geometry. \MR{93a:11048}

\bibitem[Lan93]{lang:algebra}
\bysame, \emph{Algebra}, third ed., Addison-Wesley Publishing Co., Reading,
  Mass., 1993.

\bibitem[Lan94]{lang:ant}
\bysame, \emph{Algebraic number theory}, second ed., Springer-Verlag, New York,
  1994.

\bibitem[Lan95]{lang:modular}
\bysame, \emph{Introduction to modular forms}, Springer-Verlag, Berlin, 1995,
  With appendixes by D. Zagier and W. Feit, Corrected reprint of the 1976
  original.

\bibitem[Li75]{winnie:newforms}
W-C. Li, \emph{Newforms and functional equations}, Math. Ann. \textbf{212}
  (1975), 285--315.

\bibitem[LR11]{lozano}
\'Alvaro Lozano-Robledo, \emph{Elliptic {C}urves, {M}odular {F}orms and their
  {L}-functions}, American Mathematical Society, 2011.

\bibitem[Man72]{manin:parabolic}
J.\thinspace{}I. Manin, \emph{Parabolic points and zeta functions of modular
  curves}, Izv. Akad. Nauk SSSR Ser. Mat. \textbf{36} (1972), 19--66. \MR{47
  \#3396}

\bibitem[Maz72]{mazur:tower}
B.~Mazur, \emph{Rational points of abelian varieties with values in towers of
  number fields}, Invent. Math. \textbf{18} (1972), 183--266.

\bibitem[Maz77]{mazur:eisenstein}
\bysame, \emph{Modular curves and the \protect{Eisenstein} ideal}, Inst. Hautes
  \'Etudes Sci. Publ. Math. (1977), no.~47, 33--186 (1978).

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

\bibitem[Maz89]{mazur:deforming}
\bysame, \emph{Deforming \protect{G}alois representations}, Galois groups over
  \protect{${\bf Q}$} (Berkeley, CA, 1987), Springer, New York, 1989,
  pp.~385--437.

\bibitem[McC91]{mccallum:kolyvagin}
W.\thinspace{}G. McCallum, \emph{Kolyvagin's work on {S}hafarevich-{T}ate
  groups}, $L$-functions and arithmetic (Durham, 1989), Cambridge Univ. Press,
  Cambridge, 1991, pp.~295--316. \MR{92m:11062}

\bibitem[Mer94]{merel:1585}
L.~Merel, \emph{Universal \protect{F}ourier expansions of modular forms}, On
  {A}rtin's conjecture for odd 2-dimensional representations, Springer, 1994,
  pp.~59--94.

\bibitem[MFK94]{mumford:geometric}
D.~Mumford, J.~Fogarty, and F.~Kirwan, \emph{Geometric invariant theory}, third
  ed., Springer-Verlag, Berlin, 1994.

\bibitem[Mil86]{milne:abvars}
J.\thinspace{}S. Milne, \emph{Abelian varieties}, Arithmetic geometry (Storrs,
  Conn., 1984), Springer, New York, 1986, pp.~103--150.

\bibitem[Miy89]{miyake}
T.~Miyake, \emph{Modular forms}, Springer-Verlag, Berlin, 1989, Translated from
  the Japanese by Yoshitaka Maeda.

\bibitem[MR91]{mazur-ribet}
B.~Mazur and K.~A. Ribet, \emph{Two-dimensional representations in the
  arithmetic of modular curves}, Ast\'erisque (1991), no.~196-197, 6, 215--255
  (1992), Courbes modulaires et courbes de Shimura (Orsay, 1987/1988).
  \MR{MR1141460 (93d:11056)}

\bibitem[MS01]{merel-stein}
L.~Merel and W.\thinspace{}A. Stein, \emph{The field generated by the points of
  small prime order on an elliptic curve}, Internat. Math. Res. Notices (2001),
  no.~20, 1075--1082. \MR{1 857 596}

\bibitem[MSD74]{mazur-swinnerton-dyer:arithmetic}
B.~Mazur and P.~Swinnerton-Dyer, \emph{Arithmetic of {W}eil curves}, Invent.
  Math. \textbf{25} (1974), 1--61. \MR{50 \#7152}

\bibitem[Mum70]{mumford:abvars}
D.~Mumford, \emph{Abelian varieties}, Published for the Tata Institute of
  Fundamental Research, Bombay, 1970, Tata Institute of Fundamental Research
  Studies in Mathematics, No. 5.

\bibitem[Ogg71]{ogg:ratpoints_finiteorder}
A.\thinspace{}P. Ogg, \emph{Rational points of finite order on elliptic
  curves}, Invent. Math. \textbf{12} (1971), 105--111. \MR{45 \#178}

\bibitem[Pyl]{pyle:thesis}
E.~Pyle, \emph{Abelian varieties over {$\Q$} with large endomorphism algebras
  and their simple components over {$\Qbar$}}, {\tt
  http://math.berkeley.edu/~ribet/pyle\_thesis.pdf}.

\bibitem[Que77]{queen}
C.~Queen, \emph{The existence of \protect{$p$}-adic \protect{A}belian
  \protect{${L}$}-functions}, Number theory and algebra (New York), Academic
  Press, 1977, pp.~263--288.

\bibitem[Rib75]{ribet:endo}
K.\thinspace{}A. Ribet, \emph{Endomorphisms of semi-stable abelian varieties
  over number fields}, Ann. Math. (2) \textbf{101} (1975), 555--562. \MR{51
  \#8120}

\bibitem[Rib77]{ribet:galoisattached}
\bysame, \emph{Galois representations attached to eigenforms with
  \protect{N}ebentypus}, Modular functions of one variable, V (Proc. Second
  Internat. Conf., Univ. Bonn, Bonn, 1976) (Berlin), Springer, 1977,
  pp.~17--51. Lecture Notes in Math., Vol. 601.

\bibitem[Rib92]{ribet:abvars}
\bysame, \emph{Abelian varieties over {${\bf Q}$} and modular forms}, Algebra
  and topology 1992 (Taej\u on), Korea Adv. Inst. Sci. Tech., Taej\u on, 1992,
  pp.~53--79. \MR{94g:11042}

\bibitem[Rib94]{ribet:report}
\bysame, \emph{Report on mod \protect{$\ell$} representations of \protect{${\rm
  {G}al}(\overline{\bf{Q}}/{\bf {Q}})$}}, Motives (Seattle, WA, 1991), Amer.
  Math. Soc., Providence, RI, 1994, pp.~639--676.

\bibitem[Rib99]{ribet:torsion}
\bysame, \emph{Torsion points on ${J}\sb 0({N})$ and {G}alois representations},
  Arithmetic theory of elliptic curves (Cetraro, 1997), Springer, Berlin, 1999,
  pp.~145--166. \MR{2001b:11054}

\bibitem[Ros86]{rosen:abvars}
M.~Rosen, \emph{Abelian varieties over \protect{${\bf {C}}$}}, Arithmetic
  geometry (Storrs, Conn., 1984), Springer, New York, 1986, pp.~79--101.

\bibitem[RS01]{ribet-stein:serre}
K.\thinspace{}A. Ribet and W.\thinspace{}A. Stein, \emph{Lectures on {S}erre's
  conjectures}, Arithmetic algebraic geometry (Park City, UT, 1999), IAS/Park
  City Math. Ser., vol.~9, Amer. Math. Soc., Providence, RI, 2001,
  pp.~143--232. \MR{2002h:11047}

\bibitem[Rub89]{rubin:kolyvagin}
K.~Rubin, \emph{The work of {K}olyvagin on the arithmetic of elliptic curves},
  Arithmetic of complex manifolds (Erlangen, 1988), Springer, Berlin, 1989,
  pp.~128--136.

\bibitem[Sch06]{schur:arith}
I.~Schur, \emph{Arithmetische {U}ntersuchungen \"uber endliche {G}ruppen
  linearer {S}ubstitutionen}, Sitz. Pr. Akad. Wiss. (1906), 164--184, Gesam.
  Abhl., {\bf I}, 177--197, Springer-Verlag, Berlin-Heidelberg-New York-Tokyo,
  1973.

\bibitem[Sch65]{schilling}
O.\thinspace{}F.\thinspace{}G. Schilling (ed.), \emph{Arithmetical algebraic
  geometry. (\protect{P}roceedings of a \protect{C}onference held at
  \protect{P}urdue \protect{U}niversity, \protect{D}ecember 5--7, 1963)},
  Harper \& Row Publishers, New York, 1965.

\bibitem[Sch90]{scholl:motivesinvent}
A.\thinspace{}J. Scholl, \emph{Motives for modular forms}, Invent. Math.
  \textbf{100} (1990), no.~2, 419--430.

\bibitem[SD67]{sd:bsd}
P.~Swinnerton-Dyer, \emph{The conjectures of {B}irch and {S}winnerton-{D}yer,
  and of {T}ate}, Proc. Conf. Local Fields (Driebergen, 1966), Springer,
  Berlin, 1967, pp.~132--157. \MR{37 \#6287}

\bibitem[SD74]{swinnerton-dyer:abvars}
H.~P.~F. Swinnerton-Dyer, \emph{Analytic theory of abelian varieties},
  Cambridge University Press, London, 1974, London Mathematical Society Lecture
  Note Series, No. 14. \MR{51 \#3180}

\bibitem[Ser73]{serre:arithmetic}
J-P. Serre, \emph{A \protect{C}ourse in \protect{A}rithmetic}, Springer-Verlag,
  New York, 1973, Translated from the French, Graduate Texts in Mathematics,
  No. 7.

\bibitem[Ser77]{serre:linear}
\bysame, \emph{Linear representations of finite groups}, Springer-Verlag, New
  York, 1977, Translated from the second French edition by Leonard L. Scott,
  Graduate Texts in Mathematics, Vol. 42.

\bibitem[Ser79]{serre:localfields}
\bysame, \emph{Local fields}, Springer-Verlag, New York, 1979, Translated from
  the French by Marvin Jay Greenberg.

\bibitem[Ser87]{serre:conjectures}
\bysame, \emph{Sur les repr\'esentations modulaires de degr\'e \protect{$2$} de
  \protect{${\rm{G}al}(\overline{\bf {Q}}/{\bf {Q}})$}}, Duke Math. J.
  \textbf{54} (1987), no.~1, 179--230.

\bibitem[Ser88]{serre:alggroups}
\bysame, \emph{Algebraic groups and class fields}, Springer-Verlag, New York,
  1988, Translated from the French.

\bibitem[Ser98]{serre:ladic}
\bysame, \emph{Abelian \protect{$\ell$}-adic representations and elliptic
  curves}, A\thinspace{}K Peters Ltd., Wellesley, MA, 1998, With the
  collaboration of Willem Kuyk and John Labute, Revised reprint of the 1968
  original.

\bibitem[Shi59]{shimura:surles}
G.~Shimura, \emph{Sur les \protect{int\'egrales} \protect{attach\'ees} aux
  formes automorphes}, J. Math. Soc. Japan \textbf{11} (1959), 291--311.

\bibitem[Shi73]{shimura:factors}
\bysame, \emph{On the factors of the jacobian variety of a modular function
  field}, J. Math. Soc. Japan \textbf{25} (1973), no.~3, 523--544.

\bibitem[Shi94]{shimura:intro}
\bysame, \emph{Introduction to the arithmetic theory of automorphic functions},
  Princeton University Press, Princeton, NJ, 1994, Reprint of the 1971
  original, Kan Memorial Lectures, 1.

\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.

\bibitem[Sil94]{silverman:aec2}
\bysame, \emph{Advanced topics in the arithmetic of elliptic curves},
  Springer-Verlag, New York, 1994.

\bibitem[ST68]{serre-tate}
J-P. Serre and J.\thinspace{}T. Tate, \emph{Good reduction of abelian
  varieties}, Ann. of Math. (2) \textbf{88} (1968), 492--517.

\bibitem[Ste04]{stein:bsdmagma}
W.~Stein, \emph{Studying the {B}irch and {S}winnerton-{D}yer {C}onjecture for
  {M}odular {A}belian {V}arieties {U}sing {MAGMA}}, to appear in J.~Cannon,
  ed., {\em Computational Experiments in Algebra and Geometry}, Springer-Verlag
  (2004).

\bibitem[Ste07a]{stein:book}
\bysame, \emph{Explicitly computing with modular forms}, Graduate Studies in
  Mathematics, American Math Society, 2007.

\bibitem[Ste07b]{stein:modform}
William Stein, \emph{Modular forms, a computational approach}, Graduate Studies
  in Mathematics, vol.~79, American Mathematical Society, Providence, RI, 2007,
  With an appendix by Paul E. Gunnells. \MR{MR2289048}

\bibitem[SW97]{skinner-wiles:ordinary}
C.\thinspace{}M. Skinner and A.\thinspace{}J. Wiles, \emph{Ordinary
  representations and modular forms}, Proc. Nat. Acad. Sci. U.S.A. \textbf{94}
  (1997), no.~20, 10520--10527.

\bibitem[Tat66]{tate:bsd}
J.~Tate, \emph{On the conjectures of {B}irch and {S}winnerton-{D}yer and a
  geometric analog}, S\'eminaire Bourbaki, Vol.\ 9, Soc. Math. France, Paris,
  1965/66, pp.~Exp.\ No.\ 306, 415--440.

\bibitem[TW95]{taylor-wiles:fermat}
R.~Taylor and A.\thinspace{}J. Wiles, \emph{Ring-theoretic properties of
  certain \protect{H}ecke algebras}, Ann. of Math. (2) \textbf{141} (1995),
  no.~3, 553--572.

\bibitem[V\'72]{velu:groupes}
J.~V\'{e}lu, \emph{Groupes de \protect{G}alois attach\'es aux points d'ordre
  fini des courbes elliptiques sur un corps de nombres, d'apr\`es \protect{J}.
  \protect{P}. \protect{S}erre}, S\'eminaire de Th\'eorie des Nombres,
  1971--1972 (Univ. Bordeaux I, Talence), Exp. No. 30, Lab. Th\'eorie des
  Nombres, Centre Nat. Recherche Sci., Talence, 1972, p.~12.

\bibitem[Wal85]{waldspurger:comp1}
J.-L. Waldspurger, \emph{Quelques propri\'et\'es arithm\'etiques de certaines
  formes automorphes sur \protect{${\rm {G}{L}}(2)$}}, Compositio Math.
  \textbf{54} (1985), no.~2, 121--171. \MR{87g:11061a}

\bibitem[Wil95]{wiles:fermat}
A.\thinspace{}J. Wiles, \emph{Modular elliptic curves and \protect{F}ermat's
  last theorem}, Ann. of Math. (2) \textbf{141} (1995), no.~3, 443--551.

\bibitem[Wil00]{wiles:cmi}
\bysame, \emph{The {B}irch and {S}winnerton-{D}yer {C}onjecture},
  \\\protect{\tt http://www.claymath.org/prize\_problems/birchsd.htm}.

\bibitem[Zag85a]{zagier:parametrizations}
D.~Zagier, \emph{Modular parametrizations of elliptic curves}, Canad. Math.
  Bull. \textbf{28} (1985), no.~3, 372--384. \MR{86m:11041}

\bibitem[Zag85b]{zagier:modular}
\bysame, \emph{Modular points, modular curves, modular surfaces and modular
  forms}, Workshop Bonn 1984 (Bonn, 1984), Springer, Berlin, 1985,
  pp.~225--248.

\end{thebibliography}
