@article{79,
  author = {Rance Cleaveland},
  title = {Better Automata through Process Algebra},
  year = {2020},
  journal = {arXiv preprint arXiv:2002.07562},
  language = {eng},
}