A canonical form for minimum state finite state automata - Furtado, Antonio L. (Pontif. Univ. Católica do Rio de Janeiro, 1972)