A. Medina, “Logical analysis of organization in finite automata”, Rev. Mex. Fís., vol. 15, no. 1, pp. 1–54, Jan. 1966.