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