Jenkins, M. A. and J. I. Glasgow "A logical basis for nested array data structures"

(1989) Computer Languages 14(1)  

Languages mentioned NIAL {1984}