Shuhua Zhang Efficient Simplicity Testing of Automata. 265-278 1992 99 Theor. Comput. Sci. 2 db/journals/tcs/tcs99.html#Zhang92b