@misc{indiciae65dd9ff13810,
  title = {A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories},
  author = {Ludovic Mignot},
  year = {2020},
  url = {https://arxiv.org/abs/2012.10641},
  note = {Source identifier: 2012.10641}
}