Barry K. Rosen Monoids for Rapid Data Flow Analysis. 47-59 1978 POPL db/conf/popl/popl78.html#Rosen78