J. P. Wray, A. Stewart Correct Translation of Data Parallel Assignment onto Array Processors. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1994, v:6, n:4, pp:417-439 [Journal]
A. Stewart Reasoning about Data-Parallel Array Assignment. [Citation Graph (0, 0)][DBLP] J. Parallel Distrib. Comput., 1995, v:27, n:1, pp:79-85 [Journal]