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