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