Gordon D. Plotkin John Power Adequacy for Algebraic Effects. 1-24 2001 conf/fossacs/2001 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2030/20300001.htm db/conf/fossacs/fossacs2001.html#PlotkinP01