An Approach to Correctness of Data Parallel Algorithms | Publicación