Steinby M. On pair algebras and state-information in automata. Ann. Fenn. Math. 1973;(542). doi:10.5186/aasfm1973.542