Ernst L. Leiss More on minimal finite automata. 151 1989 37 Bulletin of the EATCS db/journals/eatcs/eatcs37.html#Leiss89