Silva A.? 2010.??Kleene Coalgebra.