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