M. Steinby, “On pair algebras and state-information in automata”, Ann. Fenn. Math., no. 542, Jan. 1973.