A calculus for collections and aggregates
1997 ◽
pp. 261-280
◽