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