Silva A, Bonsangue M, Rutten J.? 2010.??Non-deterministic Kleene Coalgebras. Logical Methods in Computer Science. 6(3):1?39.