Synthesising graphics card programs from DSLs - Cartey, L; Lyngsø, R; de Moor, O (ACM, 2012)