Mullin, Lenore, “A Mathematics of Arrays”, Thesis, December 1988 link
Mullin, Lenore, and Scott Thibault. “A Reduction semantics for array expressions: the PSI compiler.” Department of Computer Science, University of Missouri-Rolla, Rolla, Missouri 65401 (1994). link