Feldspar: A domain specific language for digital signal processing algorithms. - Emil Axelsson; Koen Claessen; Gergely Dévai; Zoltán Horváth; Karin Keijzer; Bo Lyckegård; Anders Persson; Mary Sheeran; Josef Svenningsson; András Vajda (MEMOCODE, 2010)