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