Filippo Bonchi, Marcello Bonsangue, Hansen Helle Hvid, Prakash Panangaden, Jan Rutten, et al.. Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2014, 15 (1), pp.3:1--3:29.
⟨10.1145/2490818⟩.
⟨hal-00909426⟩