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