A Formal Approach to the Compilation of Data-Parallel Languages. - J. A. Trescher; Leo C. Breebaart; P. F. G. Dechering; A. B. Poelman; J. P. M. de Vreught; Henk J. Sips (LCPC, 1994)