Introduction to Algorithms, 4th Edition
Cormen, Leiserson, Rivest, Stein
Chapter 30 — Polynomials and the FFT
The definitive algorithms textbook. Chapter 30 ("Polynomials and the FFT") provides a rigorous mathematical derivation of the DFT, the FFT algorithm, and polynomial multiplication. Includes proofs of correctness and complexity analysis.