bonchi-2012-brzozowski:
  type: chapter
  title: Brzozowski’s Algorithm (Co)Algebraically
  author:
  - Bonchi, Filippo
  - Bonsangue, Marcello M.
  - Rutten, Jan J. M. M.
  - Silva, Alexandra
  date: 2012
  page-range: 12-23
  url: http://dx.doi.org/10.1007/978-3-642-29485-3_2
  serial-number:
    doi: 10.1007/978-3-642-29485-3_2
    isbn: '9783642294853'
    issn: 1611-3349
  parent:
    type: book
    title: Logic and Program Semantics
    publisher: Springer Berlin Heidelberg