"A Refinement Methodology for Developing Data-Parallel Applications."

Lars S. Nyland et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics