A. Ádám, “On certain partitions of finite directed graphs and of finite automata”, Acta Cybern, vol. 6, no. 4, pp. 331-346, Jan. 1984.