A calculus for collections and aggregates (1997)

by S K Lellahi, V Tannen
Venue:In CTCS ’97