@Book{knuth1997,
  author    = {Knuth, D. E.},
  title     = {The Art of Computer Programming, Volume 2: Seminumerical Algorithms},
  edition   = {3rd},
  publisher = {Addison-Wesley},
  year      = {1997},
  note      = {Section 4.2.2, Theorem B}
}