An approach to a unified theory of automata | IEEE Conference Publication | IEEE Xplore