Algebraic Operations and Generic EffectsPlotkin, Gordon, Power, John·2003·Applied Categorical StructuresDOI 10.1023/a:1023064908962