M. Katsura, “On complexity of finite Moore automata”, Acta Cybern, vol. 7, no. 3, pp. 281-292, Jan. 1986.