Jeremy Johnson Robert W. Johnson David A. Padua Jianxin Xiong Searching for the Best FFT Formulas with the SPL Compiler. 112-126 2000 conf/lcpc/2000 LCPC http://link.springer.de/link/service/series/0558/bibs/2017/20170112.htm db/conf/lcpc/lcpc2000.html#JohnsonJPX00