A. Medina, Logical analysis of organization in finite automata, Rev. Mex. Fís. 15, (1966).