Paul Hudak Adrienne Bloss The Aggregate Update Problem in Functional Programming Systems. 300-314 1985 POPL db/conf/popl/popl85.html#HudakB85