Principles of proramming with collection types (1995)

by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong
Venue:Theoretical Computer Science