Correctness of flat data parallel algorithms: an axiomatic approach and examples | Publicación