Michael A. Jenkins, Janice I. Glasgow. A Logical Basis for Nested Array Data Structures. Computer Languages, Systems \& Structures, 14(1):35-51, 1989.
@article{JenkinsG89, title = {A Logical Basis for Nested Array Data Structures}, author = {Michael A. Jenkins and Janice I. Glasgow}, year = {1989}, tags = {data-flow}, researchr = {https://researchr.org/publication/JenkinsG89}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {14}, number = {1}, pages = {35-51}, }