A lower bound technique for the size of nondeterministic finite automata
scientific article; zbMATH DE number 983266