A Logical Basis for Nested Array Data Structures (1989)

by M A Jenkins, J I Glagow
Venue:Computer Languages Journal