V Tannen & L Wong [Sept 1995], "Principles of programming with complex objects and collection types," Theoretical Computer Science 149 (0)

by P Buneman, S Naqvi