Bonsangue M, Rutten J, Silva A.? 2008.??Coalgebraic logic and synthesis of mealy machines. Proceedings of the Eleventh International Conference on Foundations of Software Science and Computation structures (FoSSaCS 2008). 4962:231?245.