Silva A, Bonsangue M, Rutten J.? 2010.??Non-deterministic Kleene Coalgebras. :1-39.