%0 Journal Article
%B arXiv preprint arXiv:2002.07562
%D 2020
%G eng
%T Better Automata through Process Algebra