Eric Violard Stéphane Genaud Guy-René Perrin Refinement of data parallel programs in PEI. 107-131 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#ViolardGP97