David W. N. Sharp, Martin Cripps: Synthesis of the fast Fourier transform algorithm by functional language program transformation. PDP 1993: 136-143