\bib{2000/bosma-book}
\yr 2000
\isbn 3--540--67695--3
\mr 2002d:11002
\editor Wieb Bosma
\book Algorithmic number theory: ANTS-IV
\series Lecture Notes in Computer Science
\seriesvol 1838
\publ Springer-Verlag
\publaddr Berlin
\endref