@article{Havel74-0,
  title = {Finite branching automata},
  author = {Ivan M. Havel},
  year = {1974},
  url = {http://www.kybernetika.cz/content/1974/4/281},
  researchr = {https://researchr.org/publication/Havel74-0},
  cites = {0},
  citedby = {0},
  journal = {Kybernetika},
  volume = {10},
  number = {4},
  pages = {281-302},
}