@article{bonchi-2014-algebra, title={Algebra-coalgebra duality in brzozowski’s minimization algorithm}, volume={15}, ISSN={1557-945X}, url={http://dx.doi.org/10.1145/2490818}, DOI={10.1145/2490818}, number={1}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Bonchi, Filippo and Bonsangue, Marcello M. and Hansen, Helle H. and Panangaden, Prakash and Rutten, Jan J. M. M. and Silva, Alexandra}, year={2014}, month=Feb, pages={1–29} }