@article{luc-kow-sto-95-min,
  author = {Cl{\'a}udio L. Lucchesi and Tomasz Kowaltowski and Jorge Stolfi},
  title = {Minimization of Binary Finite Automata},
  journal = {Journal of the Brazilian Computer Society},
  volume = {1},
  number = {3},
  pages = {5--11},
  year = 1995,
  month = apr
}