Principles of programming with complex objects and collection types (1995)

by Peter Buneman, Shamim A Naqvi, Val Tannen, Limsoon Wong
Venue:Theor. Comp. Sci