Steinby, M. (1969). On definite automata and related systems. Annales Fennici Mathematici, (444). https://doi.org/10.5186/aasfm.1969.444