Silva A, Bonchi F, Bonsangue M, Hansen HH, Panangaen P, Rutten J.? 2014.??Algebra- Coalgebra Duality in Brzozowski's Minimization Algorithm. ACM Transactions on Computacional Logic. 15(1):1-29.