Silva A, Bonchi F, Bonsangue M, Rutten J.? 2013.??Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science. 9(1):1-23.