Wilfried Brauer On Minimizing Finite Automata. 113-116 1988 35 Bulletin of the EATCS db/journals/eatcs/eatcs35.html#Brauer88