R. E. Stearns, J. Hartmanis, "On the application of pair algebra to automata theory," 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pp. 192-196, 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 1964