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