Principles of Programming with Complex Objects and Collection Types (1995)

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