Steinby, M. “On Pair Algebras and State-Information in Automata”. Annales Fennici Mathematici, no. 542, Jan. 1973, doi:10.5186/aasfm1973.542.