I. K. Rystsov, “Quasioptimal bound for the length of reset words for regular automata”, Acta Cybern, vol. 12, no. 2, pp. 145-152, Jan. 1995.