Bonsangue M, Rutten J, Silva A.? 2007.??Coalgebraic logic and synthesis of Mealy machines. :1-15.