@misc{Malcher2002,
  author    = {Andreas Malcher},
  title     = {Minimizing finite automata is computationally hard},
  booktitle = {Frankfurter Informatik-Berichte ; Nr. 02,6},
  issn      = {1616-9107},
  institution = {Informatik},
  series    = {Frankfurter Informatik-Berichte},
  number    = {02, 6},
  type      = {workingpaper},
  pages     = {IV, 16 S.},
  year        = {2002},
}