P. F. G. Dechering J. A. Trescher J. P. M. de Vreught Henk J. Sips V-cal: A Calculus for the Compilation of Data Parallel Languages. 111-125 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#DecheringTVS95