Rystsov I. K.: Quasioptimal bound for the length of reset words for regular automata. In: Acta cybernetica, (12) 2. pp. 145-152. (1995)