Johan Ringström Peter Fritzson Mikael Pettersson Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. 248-262 1994 conf/cc/1994 CC db/conf/cc/cc94.html#RingstromFP94 http://dx.doi.org/10.1007/3-540-57877-3_17