The Design And Development of a Basis alphaL, for Formal Functional Programming Languages with Arrays Based on a Mathematics of Arrays. - Lenore M. Restifo Mullin; Ashok Krishnamurthi; Deepa Iyengar (ICPP (2), 1988)