Steinby, M. 1973. On pair algebras and state-information in automata. Annales Fennici Mathematici. 542 (Jan. 1973). DOI:https://doi.org/10.5186/aasfm1973.542.