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