Medina, A. (1966). Logical analysis of organization in finite automata. Revista Mexicana De Física, 15(1), 1–54. Retrieved from https://rmf.smf.mx/ojs/index.php/rmf/article/view/878