@book{MCA,
 author = {Gathen, Joachim von zur and Gerhard, J\"urgen},
 title = {Modern Computer Algebra},
 year = {2003},
 edition = {2nd},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
} 

@inproceedings{BZ_CPP17,
  author    = {Jose Divas{\'{o}}n and
               Sebastiaan J. C. Joosten and
               Ren{\'{e}} Thiemann and
               Akihisa Yamada},
  opeditor    = {Yves Bertot and
               Viktor Vafeiadis},
  title     = {A formalization of the {B}erlekamp--{Z}assenhaus factorization algorithm},
  booktitle = {{CPP} 2017},
  pages     = {17--29},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3018610.3018617},
  doi       = {10.1145/3018610.3018617},
}

@article{LLL,
  title = {Factoring polynomials with rational coefficients},
  author = {A. K. Lenstra and H. W. Lenstra and L. Lov{\'a}sz},
  journal = {Mathematische Annalen},
  year = {1982},
  volume = {261},
  pages = {515--534},
}
