Marek A. Bednarczyk On minimal finite automata - corrigenda. 135 1989 38 Bull. EATCS db/journals/eatcs/eatcs38.html#Bednarczyk89