Silva A, Bonchi F, Bonsangue M, Rutten J.? 2010.??Generalizing the powerset construction, coalgebraically. 8:1-12.