Steinby, M. On Definite Automata and Related Systems. Ann. Fenn. Math. 1969.