@misc{indiciaeed5ebdcc14ca,
  title = {Automata in SageMath---Combinatorics meet Theoretical Computer Science},
  author = {Clemens Heuberger and Daniel Krenn and Sara Kropf},
  year = {2016},
  doi = {10.46298/dmtcs.1352},
  url = {https://arxiv.org/abs/1404.7458},
  note = {Source identifier: 1404.7458}
}