@inbook{bonchi-2012-brzozowski, title={Brzozowski’s Algorithm (Co)Algebraically}, ISBN={9783642294853}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-29485-3_2}, DOI={10.1007/978-3-642-29485-3_2}, booktitle={Logic and Program Semantics}, publisher={Springer Berlin Heidelberg}, author={Bonchi, Filippo and Bonsangue, Marcello M. and Rutten, Jan J. M. M. and Silva, Alexandra}, year={2012}, pages={12–23} }