Roberto Di Cosmo, Zheng Li, Susanna Pelagatti: A calculus for parallel computations over multidimensional dense arrays. Comput. Lang. Syst. Struct. 33(3-4): 82-110 (2007)