A calculus for collections and aggregates (1997)

by K Lellahi, V Tannen
Venue:LNCS 1290: Category Theory and Computer Science (Proceedings of CTCS’97