Monoids for rapid data flow analysis (1980)

by Barry K Rosen
Venue:SIAM Journal on Computing