Certification of algorithm 255 [C6]: computation of Fourier coefficients. - Gillian Hall; Valeria A. Ray (Commun. ACM, 1969)