M. Steinby, “On definite automata and related systems”, Ann. Fenn. Math., no. 444, Jan. 1969.