Bonsangue M, Milius S, Silva A.? 2013.??Sound and complete axiomatizations of coalgebraic language equivalence. ACM Transactions on Computational Logic (TOCL). 14(1):1-51.