Steinby, M. On Pair Algebras and State-Information in Automata. Ann. Fenn. Math. 1973.