Toshimasa Watanabe Akira Nakamura On the Transformation Semigroups of Finite Automata. 107-138 1983 26 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss26.html#WatanabeN83