@misc{indiciae8e8fc48a205f,
  title = {Congruences for Stochastic Automata},
  author = {Ernst-Erich Doberkat},
  year = {2020},
  url = {https://arxiv.org/abs/2011.06954},
  note = {Source identifier: 2011.06954}
}